Coq Proof Gate

Coq Proof Gate #4

Sign in to view logs

Manually triggered July 28, 2026 18:45

ci/coq-proof-gate

Status Success

Total duration 10m 8s

Artifacts –

coq-proof-gate.yml

on: workflow_dispatch