Commit Graph

3 Commits

Author SHA1 Message Date
Peter Steinberger
2abb0271a4 test: tighten real behavior proof assertions 2026-05-09 09:51:04 +01:00
pashpashpash
33c42c8d3b chore: add positive proof labels (#78117) 2026-05-06 08:10:17 +09:00
pashpashpash
70f34bf177 Require real behavior proof for external PRs (#77622)
* ci: require real behavior proof for external PRs

* fix: tighten real behavior proof heuristics

* fix: reject test-only real behavior proof labels

---------

Co-authored-by: Peter Steinberger <steipete@gmail.com>
2026-05-05 05:45:30 +01:00