Skip to content
Coq Verification

Update and rename coq.yaml to coq.yml #1

Sign in to view logs

Update and rename coq.yaml to coq.yml

Update and rename coq.yaml to coq.yml #1

Re-run triggered February 17, 2025 18:31
@afflomafflom
0308cf2
main
Status Failure
Total duration 9s
Artifacts –

coq.yml

on: push
verify
0s
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify
Unable to resolve action coq-community/setup-coq@v2, action not found