Repository navigation

CI: docs/**-only floor shortcut - #6281

Merged

briansrls merged 7 commits into

mainfrom

ci/docs-only-floor-shortcut

Jul 5, 2026

Merged

CI: docs/**-only floor shortcut#6281
briansrls merged 7 commits into
mainfrom
ci/docs-only-floor-shortcut

Commits on Jul 5, 2026
- CI: docs/**-only floor shortcut with fail-closed merge admission.
  
  briansrls
  and
  cursoragent
  committed
  558481b
- CI: bump release-build step timeout to 30m (receipt-backed).
  
  briansrls
  and
  cursoragent
  committed
  8784e97
- WIP: Audit: witnesses that never execute their .dag subject
  briansrls
  committed
  2206895
- fix: rustfmt module-index collision guard in cli_run.rs
  
  briansrls
  and
  cursoragent
  committed
  c97679e
- WIP: Audit: witnesses that never execute their .dag subject
  briansrls
  committed
  bae8755
- fix: restore tree-wide module collision wall with path-alias + ingest overlay
  
  briansrls
  and
  cursoragent
  committed
  b1ce035
- Merge remote-tracking branch 'origin/main' into ci/docs-only-floor-shortcut
  briansrls
  committed
  78be463