Merge pull request #29 from coq/adjust-install #20
Zimmi48This 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.
|