diff options
| author | Sho Sakuma <me@m1sk9.dev> | 2026-08-30 14:10:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-08-30 14:10:26 +0900 |
| commit | 44132f3a73651fbd334a314fbc4ab47f5f1bbd5b (patch) | |
| tree | 9270685010e79b0f069cade0c004576957c86f5e /.github | |
| parent | b697f1cc341cbd9740daa2249c566f1b6bf1952d (diff) | |
| parent | 0dd99e9b82c74fa1406dbb6d269e771315c6b6e0 (diff) | |
| download | LunaticChat-44132f3a73651fbd334a314fbc4ab47f5f1bbd5b.tar.gz LunaticChat-44132f3a73651fbd334a314fbc4ab47f5f1bbd5b.tar.bz2 LunaticChat-44132f3a73651fbd334a314fbc4ab47f5f1bbd5b.zip | |
Merge pull request #294 from m1sk9/fix/pages-deploy-concurrency
ci: let a newer Pages deploy supersede a stuck one
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 16e4b50..d2acf15 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -81,12 +81,15 @@ jobs: if: github.event_name == 'push' && github.ref == 'refs/heads/main' needs: build_dokka runs-on: ubuntu-24.04 + timeout-minutes: 10 permissions: pages: write id-token: write + # A superseded docs deploy is worth discarding: keeping it (cancel-in-progress: false) + # let one stuck job hold the "pages" group and stall every later main run behind it. concurrency: group: "pages" - cancel-in-progress: false + cancel-in-progress: true environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} |