diff options
| author | Guillaume Boisseau | 2024-06-17 09:54:09 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-17 09:54:09 +0200 |
| commit | 98ddb24f199e177a34647fa2cf5f3bd2e96d71cf (patch) | |
| tree | a7fe9c8f12d8eef04a29f5d056957d1a35724c71 | |
| parent | 8e3fe11c1b31eafe14806bb513b51530c6eb99ec (diff) | |
| parent | dc8278e8bfd5d903ba472f6c91bd67510b23cbc4 (diff) | |
Merge pull request #247 from Nadrieril/github-ci
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/ci.yml | 16 |
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 |