Skip to content

Merge origin/main into feat/solo-core-metatheory-proofs #378

Merge origin/main into feat/solo-core-metatheory-proofs

Merge origin/main into feat/solo-core-metatheory-proofs #378

Triggered via push June 21, 2026 01:07
Status Success
Total duration 31m 30s
Artifacts
lint-workflows
4s
lint-workflows
Fit to window
Zoom out
Zoom in