diff options
| author | Nadrieril | 2024-06-17 14:01:07 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-06-18 12:30:20 +0200 |
| commit | 926eb538cc35cf9a818a6905ff4ce58eeb3db9c4 (patch) | |
| tree | d1a6549cdd2f8e20366b8a5feaa1550fc10fe783 | |
| parent | 082661f0d9d1bb1196ef8e1d57b3f2b4922b3d8e (diff) | |
Revert "Switch to GitHub CI runners" again
This was botched by a confusing merge in https://github.com/AeneasVerif/aeneas/pull/246
| -rw-r--r-- | .github/workflows/ci.yml | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e66e5753..17ed0f26 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,11 +18,8 @@ permissions: jobs: # Avoid `push` and `pull_request` running the same job twice check_if_skip_duplicate_job: - # runs-on: [self-hosted, linux, nix] - runs-on: ubuntu-latest + runs-on: [self-hosted, linux, nix] steps: - - uses: DeterminateSystems/nix-installer-action@main - - uses: DeterminateSystems/magic-nix-cache-action@main - id: skip_check uses: fkirc/skip-duplicate-actions@v5 with: @@ -33,13 +30,11 @@ jobs: should_skip: ${{ steps.skip_check.outputs.should_skip }} nix: - # runs-on: [self-hosted, linux, nix] - runs-on: ubuntu-latest + #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: DeterminateSystems/nix-installer-action@main - - uses: DeterminateSystems/magic-nix-cache-action@main - uses: actions/checkout@v4 - run: nix build -L .#checks.x86_64-linux.aeneas-check-tidiness - run: nix build -L .#checks.x86_64-linux.check-charon-pin @@ -61,11 +56,8 @@ jobs: - run: nix develop --command bash -c "cd tests/lean && make" check-charon-pin: - # runs-on: [self-hosted, linux, nix] - runs-on: ubuntu-latest + runs-on: [self-hosted, linux, nix] steps: - - uses: DeterminateSystems/nix-installer-action@main - - uses: DeterminateSystems/magic-nix-cache-action@main - uses: actions/checkout@v4 with: fetch-depth: 0 # deep clone in order to get access to other commits |