Merge dev: scope-then-rank searches (#4958, #4961), CI gate on integration, milestone 456 steps 4-6 #205

Merged
bvandeusen merged 9 commits from dev into main 2026-10-05 22:23:48 -04:00
Showing only changes of commit 4b1060ae8b - Show all commits
-9
View File
@@ -1,9 +0,0 @@
"""TEMPORARY — a deliberate integration failure to watch the publish gate
reject a run (rule 177's verify_with, #4958). Reverted in the next commit."""
import pytest
pytestmark = [pytest.mark.integration]
def test_the_publish_gate_is_watched_rejecting_a_red_integration_run():
raise AssertionError("deliberate: the build job must report skipped, and :dev must not move")