Merge pull request #2947 from apalache-mc/igor/ci4

enable docker tests
apalache-mc · Aug 17, 2024 · c042c8e · c042c8e
2 parents f55f57c + 307d2eb
commit c042c8e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -166,8 +166,6 @@ jobs:
           TEST_FILTER: ${{ matrix.smt-encoding == 'arrays' && 'array-encoding' || '' }}
 
   docker-tests:
-    # provisionally disable docker tests until we repair them
-    if: false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4