Skip to content

Merge main into feat/solo-core-metatheory-proofs (un-block #614) #379

Merge main into feat/solo-core-metatheory-proofs (un-block #614)

Merge main into feat/solo-core-metatheory-proofs (un-block #614) #379

Triggered via pull request June 21, 2026 01:08
Status Success
Total duration 30m 4s
Artifacts

workflow-linter.yml

on: pull_request
lint-workflows
8s
lint-workflows
Fit to window
Zoom out
Zoom in