Skip to content
Workflow Security Linter

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

Sign in to view logs

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

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

Triggered via push June 21, 2026 01:09
@hyperpolymathhyperpolymath
pushed 51a00c6
feat/solo-core-metatheory-proofs
Status Success
Total duration 28m 12s
Artifacts –

workflow-linter.yml

on: push
lint-workflows
6s
lint-workflows
Fit to window
Zoom out
Zoom in