diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6e56bfef..5f975d0b 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -40,7 +40,7 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install -r requirements_dev.txt
-          pip install bmw-lobster-core bmw-lobster-tool-python
+          pip install bmw-lobster-core==0.14.4 bmw-lobster-tool-python==0.14.4
           pip install --no-deps bmw-lobster-tool-trlc
           sudo apt-get install -y graphviz
       - name: Fetch CVC5