parent
c894192e4f
commit
24ca14fd4a
1 changed files with 1 additions and 0 deletions
|
|
@ -1,6 +1,7 @@
|
||||||
name: CI
|
name: CI
|
||||||
|
|
||||||
on:
|
on:
|
||||||
|
# No `push` trigger, so nothing re-validates a merge commit on main — an accepted infra-load tradeoff (mara, #3938, 2026-09-16), not an oversight.
|
||||||
pull_request:
|
pull_request:
|
||||||
branches: ["**"]
|
branches: ["**"]
|
||||||
# Lets `hive-forge ci-rerun` re-trigger CI via workflow-dispatch API
|
# Lets `hive-forge ci-rerun` re-trigger CI via workflow-dispatch API
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue