Skip to content

Don't run soundness on main jobs#110

Merged
Lukasa merged 2 commits intomainfrom
dont_run_soundness_on_main
Feb 23, 2026
Merged

Don't run soundness on main jobs#110
Lukasa merged 2 commits intomainfrom
dont_run_soundness_on_main

Commits

Commits on Feb 20, 2026