From edb823bfb386f23b92675a1679c71eb2c5cf213b Mon Sep 17 00:00:00 2001 From: Philipp Wullstein-Kammler Date: Wed, 3 Sep 2025 14:40:37 +0200 Subject: [PATCH] Pin LOBSTER version in "docs" workflow Use specific version of LOBSTER to ensure that future changes of LOBSTER do not break the workflow. --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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