Skip to content

[Reference manual/Coq] Fix label for VERNAC EXTEND #29329

[Reference manual/Coq] Fix label for VERNAC EXTEND

[Reference manual/Coq] Fix label for VERNAC EXTEND #29329

Create local opam switch (macos-latest, 4.14)

succeeded Dec 23, 2024 in 5m 40s
Set up job
2s
Use OCaml 4.14
48s
Run actions/checkout@v4
2s
Run opam switch create . -y
4m 42s
Post Run actions/checkout@v4
0s
Post Use OCaml 4.14
2s
Complete job
0s