Skip to content

Docker-Coq CI

Docker-Coq CI #636

Annotations

1 warning

custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)

succeeded Dec 5, 2024 in 3m 7s
Set up job
1s
Run actions/checkout@v4
1s
Run actions/checkout@v4
0s
Run /./docker-coq-action
3m 1s
Post Run actions/checkout@v4
0s
Post Run actions/checkout@v4
0s
Complete job
1s