From c184adf70c23fe2c0f3b0b727918ca32e94e673a Mon Sep 17 00:00:00 2001
From: Paul-Nicolas Madelaine
Date: Mon, 23 Oct 2023 18:00:34 +0200
Subject: ci: hydra -> github runner

---
 flake.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 4ff46046..ebe1e90d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -169,6 +169,5 @@
           default = aeneas;
         };
         checks = { inherit aeneas aeneas-tests aeneas-verify-fstar aeneas-verify-coq aeneas-verify-lean aeneas-verify-hol4; };
-        hydraJobs = { inherit aeneas aeneas-tests aeneas-verify-fstar aeneas-verify-coq aeneas-verify-lean aeneas-verify-hol4; };
       });
 }
-- 
cgit v1.2.3