summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Boisseau2024-06-17 11:19:23 +0200
committerGitHub2024-06-17 11:19:23 +0200
commit820916ca6d5b247417b18bb8b9d981b7ef0a9195 (patch)
treee7a5bcfa478b4b0b03bbeea8d67a643732964ef4
parentcf7cd476b32cd562ca90950e4b3c29c9fc42028a (diff)
parent98ddb24f199e177a34647fa2cf5f3bd2e96d71cf (diff)
Merge branch 'main' into son/cleanup
Diffstat (limited to '')
-rw-r--r--.github/workflows/ci.yml16
1 files changed, 12 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 17ed0f26..e66e5753 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,8 +18,11 @@ 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: [self-hosted, linux, nix]
+ runs-on: ubuntu-latest
steps:
+ - uses: DeterminateSystems/nix-installer-action@main
+ - uses: DeterminateSystems/magic-nix-cache-action@main
- id: skip_check
uses: fkirc/skip-duplicate-actions@v5
with:
@@ -30,11 +33,13 @@ jobs:
should_skip: ${{ steps.skip_check.outputs.should_skip }}
nix:
- #runs-on: ubuntu-latest
- runs-on: [self-hosted, linux, nix]
+ # runs-on: [self-hosted, linux, nix]
+ runs-on: ubuntu-latest
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
@@ -56,8 +61,11 @@ jobs:
- run: nix develop --command bash -c "cd tests/lean && make"
check-charon-pin:
- runs-on: [self-hosted, linux, nix]
+ # runs-on: [self-hosted, linux, nix]
+ runs-on: ubuntu-latest
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