Compare commits
No commits in common. "f16f340c22afbf8cc38c5f2c2b520b7d462ab863" and "3342fd9bb77cc2e51453a7994f89a41ba3ed7a4e" have entirely different histories.
f16f340c22
...
3342fd9bb7
2 changed files with 7 additions and 19 deletions
|
|
@ -1,24 +1,17 @@
|
||||||
name: PR Check
|
name: PR Check
|
||||||
|
|
||||||
# Validates Rust + frontend on every PR opened against main.
|
# Validates Rust + frontend on every branch push and PR.
|
||||||
# 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,20 +2,15 @@ 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