summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2024-03-08 16:42:12 +0100
committerSon Ho2024-03-08 16:42:12 +0100
commit873deb005b394aca3090497e6c21ab9f8c2676be (patch)
treeed8953634d14313d5b7d6ad204343d64eb990baf
parent4ca3f4dd129a228cbb9eb7ab5cfd609be4483db8 (diff)
Update the workers
Diffstat (limited to '')
-rw-r--r--.github/workflows/ci.yml1
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2039e65d..6b5aacf0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,7 +14,6 @@ jobs:
- run: nix build -L .#aeneas
- 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-fstar-split
- run: nix build -L .#checks.x86_64-linux.aeneas-verify-coq
- run: nix build -L .#checks.x86_64-linux.aeneas-verify-hol4
# Lean doesn't work with Nix