CI #21
Triggered via pull request
December 31, 2024 18:04
gares
Status
Startup failure
Total duration
–
Artifacts
–
This workflow graph cannot be shown
A graph will be generated the next time this workflow is run.
Annotations
1 error
|
Error
actions/checkout@v4 and ocaml/setup-ocaml@v3 are not allowed to be used in coq/rocq-prover.org. Actions in this workflow must be: within a repository owned by coq.
|