Skip to content

ci: cancel superseded pull request runs - #112

Merged
leoafarias merged 1 commit into
mainfrom
chore/cancel-superseded-pr-runs
Sep 11, 2026
Merged

ci: cancel superseded pull request runs#112
leoafarias merged 1 commit into
mainfrom
chore/cancel-superseded-pr-runs

Conversation

@leoafarias

@leoafarias leoafarias commented Sep 11, 2026

Copy link
Copy Markdown
Member

Summary

New pushes currently leave superseded pull-request runs executing. Cancel older runs of each changed workflow for the same PR so runner time is spent on the latest commit. Other PRs and non-PR runs retain their existing behavior.

  • .github/workflows/docs.yml

Validation

  • YAML parsing and structural comparison passed: only concurrency changed.
  • git diff --no-index --check found no whitespace errors.
  • actionlint -shellcheck= -pyflakes= passed for every changed workflow.

Application suites were not run locally for this workflow-only patch. Keep this PR in draft until applicable CI completes. Live cancellation behavior remains to be checked by pushing again while a PR run is active; a pull_request_target workflow uses the base-branch definition until this change is merged.

CI verification snapshot

All reported checks for commit b51b6f91a424e6d5aa0e8aabdd5a7ee6a651f58c have completed successfully or were intentionally skipped, as of 2026-09-11T16:05:09+00:00. No failing or pending checks were reported.

@leoafarias
leoafarias marked this pull request as ready for review September 11, 2026 16:05
@leoafarias
leoafarias merged commit e719d66 into main Sep 11, 2026
4 checks passed
@leoafarias
leoafarias deleted the chore/cancel-superseded-pr-runs branch September 11, 2026 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant