diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml index 6f2b5421d..f3e4c394e 100644 --- a/.github/workflows/buildtest.yml +++ b/.github/workflows/buildtest.yml @@ -102,7 +102,6 @@ jobs: run: sudo docker exec storm bash -c "mkdir /opt/carl/build; cd /opt/carl/build; cmake .. ${CARL_CMAKE_ARGS}" - name: Build carl run: sudo docker exec storm bash -c "cd /opt/carl/build; make lib_carl -j ${NR_JOBS}" - # dummy step for now - name: Deploy carl run: | sudo docker commit storm movesrwth/carl:ci-${{ matrix.debugOrRelease }} @@ -132,7 +131,6 @@ jobs: - name: Run unit tests run: sudo docker exec storm bash -c "cd /opt/storm/build; ctest test --output-on-failure" - # dummy step for now - name: Deploy storm run: | sudo docker commit storm movesrwth/storm:ci-${{ matrix.debugOrRelease }}