summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Boisseau2024-06-24 15:04:46 +0200
committerGitHub2024-06-24 15:04:46 +0200
commit56235fc39b4335059277a1a163ac86be816f61bf (patch)
tree41cdda9ef83734e913848b3a19ff1eb54b197789
parente2e2e17c71ed389cd97b81f35d2bdcfad5c9c59c (diff)
parent2adc05c2d34b7b4e2a6283748ca67f870eb340a3 (diff)
Merge pull request #259 from Nadrieril/augmente-ta-vitesse
Diffstat (limited to '')
-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: