Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c6c38943cabb9e1f5c88eaa22a8dc1b8ef21560f..c57c2d547bf19eb76421deb3cb99e33e9d883a32 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -56,6 +56,16 @@ build:
         - . .env/bin/activate
         - pip install pytest-xdist==3.3.1 pytest==7.3.1
 
+        - git clone --depth 1 -b v0.1.1 https://github.com/cocotb/cocotb-bus.git cocotb-bus
+        - pushd cocotb-bus
+        - pip install . --no-deps
+        - popd
+
+        - git clone --depth 1 -b v1.5.2 https://github.com/cocotb/cocotb.git cocotb
+        - pushd cocotb
+        - pip install .
+        - popd
+
         - git clone --depth 1 https://git.libre-soc.org/git/pytest-output-to-files.git pytest-output-to-files
         - pushd pytest-output-to-files
         - git rev-parse HEAD
@@ -150,4 +160,4 @@ build:
         - popd
 
         - python setup.py develop
-        - SILENCELOG='!*,default' pytest -v --maxfail=10
+        - SILENCELOG='!*,default' pytest -v --maxfail=20