Skip to content

Docker-Coq CI

Docker-Coq CI #654

Annotations

1 warning

custom_image / docker-mathcomp / opam / env+GITHUB_ENV (mathcomp/mathcomp:latest-coq-8.19)

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