We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 24e33cc commit aec0d79Copy full SHA for aec0d79
.github/workflows/unlocked.yml
@@ -34,9 +34,6 @@ jobs:
34
- os: ubuntu-latest
35
ocaml-compiler: 4.14.x
36
z3: true
37
- - os: ubuntu-latest
38
- ocaml-compiler: 5.0.0
39
- apron: false
40
41
# customize name to use readable string for apron instead of just a boolean
42
# workaround for missing ternary operator: https://github.com/actions/runner/issues/409
0 commit comments