From 5c42ee7194833679264583cf81b0c32898fbb9f2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 10 Nov 2023 17:04:16 +0100
Subject: Update the ci.yml

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.github')

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:
-- 
cgit v1.2.3