diff options
author | Paul-Nicolas Madelaine | 2023-10-23 18:00:34 +0200 |
---|---|---|
committer | Paul-Nicolas Madelaine | 2023-10-23 18:00:34 +0200 |
commit | c184adf70c23fe2c0f3b0b727918ca32e94e673a (patch) | |
tree | e7d7c03167d9036954a6719f02bd44dda96e7d14 /flake.nix | |
parent | 40ed38216499ea1bf58b8acbcd05b2cd97329830 (diff) |
ci: hydra -> github runner
Diffstat (limited to 'flake.nix')
-rw-r--r-- | flake.nix | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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; }; }); } |