Workflow Security Linter

Merge branch 'main' into ci/coq-proof-gate #506

Sign in to view logs

Triggered via push July 28, 2026 18:28

ci/coq-proof-gate

Status Success

Total duration 17s

Artifacts –

workflow-linter.yml

on: push