Skip to content

Commit

Permalink
Merge pull request #2930 from apalache-mc/igor/repair-ci
Browse files Browse the repository at this point in the history
provisionally disable docker-tests
  • Loading branch information
konnov authored Aug 13, 2024
2 parents ffe8ffa + 2c7a7e6 commit c2c0b0f
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -166,6 +166,8 @@ 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
Expand Down

0 comments on commit c2c0b0f

Please sign in to comment.