chore(ci): drop redundant push trigger; add concurrency group #172
2 changed files with 19 additions and 7 deletions
|
|
@ -1,17 +1,24 @@
|
||||||
name: PR Check
|
name: PR Check
|
||||||
|
|
||||||
# Validates Rust + frontend on every branch push and PR.
|
# Validates Rust + frontend on every PR opened against main.
|
||||||
# Goal: catch compile errors, type errors, and failing tests BEFORE merge,
|
# Goal: catch compile errors, type errors, and failing tests BEFORE merge,
|
||||||
# instead of waiting for the release tag (which is when release.yml runs).
|
# instead of waiting for the release tag (which is when release.yml runs).
|
||||||
|
#
|
||||||
|
# Trigger is `pull_request` only — the previous `push` trigger duplicated
|
||||||
|
# every run when a branch was pushed and immediately opened as a PR (#171).
|
||||||
|
# Trade-off: branches pushed without an open PR don't get CI feedback. Open
|
||||||
|
# a draft PR if you want feedback before requesting review.
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
|
||||||
branches-ignore:
|
|
||||||
- main
|
|
||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- main
|
- main
|
||||||
|
|
||||||
|
# Cancel obsolete runs (e.g. on force-push) so only the latest commit runs.
|
||||||
|
concurrency:
|
||||||
|
group: ci-${{ github.ref }}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
rust:
|
rust:
|
||||||
runs-on: ubuntu
|
runs-on: ubuntu
|
||||||
|
|
|
||||||
11
.github/workflows/check.yml
vendored
11
.github/workflows/check.yml
vendored
|
|
@ -2,15 +2,20 @@ name: PR Check
|
||||||
|
|
||||||
# Mirror of .forgejo/workflows/check.yml using GitHub-native runners.
|
# Mirror of .forgejo/workflows/check.yml using GitHub-native runners.
|
||||||
# Forgejo is the primary host; this file keeps the GitHub mirror functional.
|
# Forgejo is the primary host; this file keeps the GitHub mirror functional.
|
||||||
|
#
|
||||||
|
# Trigger is `pull_request` only — kept in sync with the Forgejo workflow
|
||||||
|
# after #171 dropped the redundant `push` trigger that duplicated every run.
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
|
||||||
branches-ignore:
|
|
||||||
- main
|
|
||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- main
|
- main
|
||||||
|
|
||||||
|
# Cancel obsolete runs (e.g. on force-push) so only the latest commit runs.
|
||||||
|
concurrency:
|
||||||
|
group: ci-${{ github.ref }}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
rust:
|
rust:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue