ci: refire after runner disk GC #23

Closed
hongming wants to merge 3 commits from ci/refire-after-runner-gc into main
+9 -2
View File
@@ -17,7 +17,10 @@ jobs:
nix:
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
# Gitea runner fleet currently advertises ubuntu-latest,
# ubuntu-22.04, and self-hosted only. Keeping macos-latest here
# leaves a permanently queued required context.
os: [ubuntu-latest]
runs-on: ${{ matrix.os }}
timeout-minutes: 30
steps:
@@ -69,7 +72,10 @@ jobs:
exit 1
- name: Post sticky PR comment (stale hashes)
if: steps.hash_check.outputs.stale == 'true' && github.event_name == 'pull_request'
if: |
steps.hash_check.outputs.stale == 'true' &&
github.event_name == 'pull_request' &&
github.server_url == 'https://github.com'
uses: marocchino/sticky-pull-request-comment@52423e01640425a022ef5fd42c6fb5f633a02728 # v2.9.1
with:
header: nix-lockfile-check
@@ -94,6 +100,7 @@ jobs:
- name: Clear sticky PR comment (resolved)
if: |
github.event_name == 'pull_request' &&
github.server_url == 'https://github.com' &&
runner.os == 'Linux' &&
(steps.hash_check.outputs.stale == 'false' ||
(steps.flake.outcome == 'success' && steps.build.outcome == 'success'))