Skip to content

Adopt PR 7559 (Discharge namespace occurrence identity receipts): owning session dead, blocker cleared by #7515 merge. Merge origin/main (NOT rebase) resolving the single conflict in dag/gunbc/stage0_emit_model.dag, verify build red is actually gone by running CI, and run the three-dot oracle git di - #7735

Closed
gunbai-bot[bot] wants to merge 26 commits into
mainfrom
session/loyal-ibex-466
Closed

Adopt PR 7559 (Discharge namespace occurrence identity receipts): owning session dead, blocker cleared by #7515 merge. Merge origin/main (NOT rebase) resolving the single conflict in dag/gunbc/stage0_emit_model.dag, verify build red is actually gone by running CI, and run the three-dot oracle git di#7735
gunbai-bot[bot] wants to merge 26 commits into
mainfrom
session/loyal-ibex-466

chore: regenerate drifted generated artifacts (ci auto-heal)

a6cffa5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar