ci(linux-gate): draai de suite alleen post-merge, niet ook per PR #1450
No reviewers
Labels
No labels
accepted
bug
declined
docs
duplicate
enhancement
good first issue
in-progress
needs-info
privacy
security
triage
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
LibreKAT/Ocideck!1450
Loading…
Reference in a new issue
No description provided.
Delete branch "ci/linux-gate-post-merge-only"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
#1123 zette de volle
make check-no-coverageer per PR naast de post-merge-run. In de praktijk draaide de suite daardoor twee keer per wijziging — op de PR en opnieuw na de merge — en de PR-run was de duurste op een runner die al de flessenhals is. De post-merge-run vangt hetzelfde (Linux-specifieke of load-gevoelige tests die groen zijn op de maintainer-Mac en rood pas hier), alleen ná de merge;static-gateblijft de required check per PR voor de statische poorten en registratietests.Dus: de
pull_request-trigger eraf uitlinux-gate.yml,push: main+workflow_dispatchblijven. Commentaar in de workflow en twee plekken indocs/CHECKS.mdmeegevoerd.Dit is een omkering van #1123. De preventielaag die per PR overblijft is
static-gate(required check); de linux-gate wordt puur detectie post-merge + handmatig vóór een release.Test plan
make check-staticgroenmake check-registrationsgroen (incl.docs_registration_test)make check-secretsschoon (gitleaks + trufflehog: 0 leaks)make sastschoon (semgrep: 0 findings)pull_requestverwijderd,workflow_dispatch+pushaanwezigGenerated with Devin