Repository navigation

srv1 daily workspace still doesn't work at all - #8729

Closed

gunbai-bot[bot] wants to merge 13 commits into

mainfrom

session/nimble-fox-671-fleetadmit

Closed

srv1 daily workspace still doesn't work at all#8729
gunbai-bot[bot] wants to merge 13 commits into
mainfrom
session/nimble-fox-671-fleetadmit

Commits on Aug 20, 2026
- Gate the fleet-desired advance on the floor conclusion it was never checking
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2138620
- Correct a concurrency claim the emitted bytes do not support (review 53998)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  09349d8
- Retract a false ordering guarantee in the deploy workflow annotation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6786c8b
- Correct an understated reachability claim and declare the unmodelled admission judge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  702ea57
- Name the two declared gaps as search keys, and record why they are not typed rows
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0db13ec
- Merge green main (a6ca6882d18) — clears the inherited emit_rust regen drift
  gunbc-ci-auto-heal
  committed
  61223bd
- The admission workflow builds on srv1 too: install the toolchain before cargo
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  04f3f6a
- Merge main: accept the deploy.yml deletion, do not re-add it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0417d14
- Merge the root cut: take the deletions, keep the admission, merge the two annotations
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  722d557
- Rename the two toolchain claims to what they actually establish
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b5b0925
Commits on Aug 21, 2026
- Merge remote-tracking branch 'origin/main' into session/nimble-fox-671-fleetadmit
  gunbc-ci-auto-heal
  committed
  93285c4
- Declare the scaffold obligation for the shell push actuation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7ade25e
- One fact, one number: replace the forked run count with a dated receipt
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  09f53cd

Commits

Commits on Aug 20, 2026

Commits on Aug 21, 2026