From 2adc05c2d34b7b4e2a6283748ca67f870eb340a3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 24 Jun 2024 14:44:10 +0200
Subject: Use the self-hosted runner for the lean CI checks

---
 .github/workflows/ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to '.github/workflows')

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:
-- 
cgit v1.2.3