Skip to content

[core-dev] coq-stdlib install, take 3 #1491

[core-dev] coq-stdlib install, take 3

[core-dev] coq-stdlib install, take 3 #1491

Annotations

2 warnings

build

succeeded Dec 13, 2024 in 2m 39s
Set up job
2s
Run actions/checkout@v3
1s
Install OCaml
1m 33s
Build index
1s
Build JSON index data
52s
Prepare website
1s
Upload Pages artifact
1s
Post Install OCaml
2s
Post Run actions/checkout@v3
0s
Complete job
0s