ci: hydra -> github runner

AeneasVerif · Oct 23, 2023 · bbb93d6 · bbb93d6
1 parent 3e38415
commit bbb93d6
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,18 @@
+on:
+  push:
+    branches-ignore: [ '_**' ]
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  nix:
+    #runs-on: ubuntu-latest
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      #- uses: cachix/install-nix-action@v22
+      - uses: actions/checkout@v4
+      - run: nix build -L .#charon
+      - run: nix build -L .#checks.x86_64-linux.tests
+      - run: nix build -L .#checks.x86_64-linux.tests-polonius
+      - run: nix build -L .#charon-ml
+      - run: nix build -L .#checks.x86_64-linux.charon-ml-tests
diff --git a/flake.nix b/flake.nix
@@ -133,8 +133,5 @@
           default = charon;
         };
         checks = { inherit tests tests-polonius charon-ml-tests; };
-        hydraJobs = {
-          inherit charon tests tests-polonius charon-ml charon-ml-tests;
-        };
       });
 }