Skip to content

Commit

Permalink
Work around docker image issue
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Oct 23, 2023
1 parent a73bacb commit 9cad45e
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,9 @@ jobs:
coq-version: ['dev', '8.18', '8.17', '8.16', '8.15', '8.14', '8.13', '8.12', '8.11', '8.10', '8.9', '8.8', '8.7', '8.6', '8.5', '8.4']
ocaml-version: ['default']
test-location: ['installed', 'local', 'standalone']
exclude: # work around https://github.com/coq-community/docker-coq/issues/59
- coq-version: '8.5'
test-location: 'standalone'

runs-on: ubuntu-latest
concurrency:
Expand Down

0 comments on commit 9cad45e

Please sign in to comment.