summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/ci.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a00c6a24..7609ee29 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,8 +15,10 @@ jobs:
- run: nix build -L .#checks.x86_64-linux.aeneas-tests
- run: nix build -L .#checks.x86_64-linux.aeneas-verify-fstar
- run: nix build -L .#checks.x86_64-linux.aeneas-verify-coq
+ # HOL4 can be reactivated
+ #- run: nix build -L .#checks.x86_64-linux.aeneas-verify-hol4
+ # Lean doesn't work with Nix
#- run: nix build -L .#checks.x86_64-linux.aeneas-verify-lean
- - run: nix build -L .#checks.x86_64-linux.aeneas-verify-hol4
lean: # Lean isn't supported by Nix, so we need to add extra steps
runs-on: [ubuntu-latest]
steps: