Skip to content

Docker-Coq CI

Docker-Coq CI #630

coq_version / docker-coq / opam (8.18, default)

succeeded Nov 29, 2024 in 2m 49s
Set up job
1s
Run actions/checkout@v4
1s
Run actions/checkout@v4
0s
Run /./docker-coq-action
2m 45s
Post Run actions/checkout@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s