Skip to content

Train 34: FC2, honest-lex, IND4b, HOP1, FC3, lean2b + ARCHITECTURE seeds/hops/walks - #435

Merged
joyful-ii-V-I merged 83 commits into
mainfrom
integration/train-34
Oct 25, 2026
Merged

Train 34: FC2, honest-lex, IND4b, HOP1, FC3, lean2b + ARCHITECTURE seeds/hops/walks#435
joyful-ii-V-I merged 83 commits into
mainfrom
integration/train-34

hop1check B6-B8: a negative arm needs its premise (CodeRabbit 4368689…

daeda73
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar