Skip to content

Promote develop to main: repair the fleet-wide false ruleset DEFECT - #555

Merged
ptr727 merged 4 commits into
mainfrom
develop
Aug 3, 2026
Merged

Promote develop to main: repair the fleet-wide false ruleset DEFECT#555
ptr727 merged 4 commits into
mainfrom
develop

Record what a run observed rather than what it predicted (#556)

2951273
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar