summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/ci.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 17ed0f26..8a0eeb00 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -47,12 +47,11 @@ jobs:
#- run: nix build -L .#checks.x86_64-linux.aeneas-verify-lean
lean:
- runs-on: [ubuntu-latest]
+ runs-on: [self-hosted, linux, nix]
needs: check_if_skip_duplicate_job
if: needs.check_if_skip_duplicate_job.outputs.should_skip != 'true'
steps:
- uses: actions/checkout@v4
- - uses: cachix/install-nix-action@v26
- run: nix develop --command bash -c "cd tests/lean && make"
check-charon-pin: