From df721f55d7ee16ec0943069703dbd654afcdfa61 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= Date: Thu, 17 Dec 2020 20:40:44 +0100 Subject: [PATCH] Cleanup comments --- .github/workflows/buildtest.yml | 2 -- 1 file changed, 2 deletions(-) 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 }}