Skip to content

Docker-Coq CI

Docker-Coq CI #641

Annotations

1 warning

custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)

succeeded Dec 10, 2024 in 2m 57s
Set up job
0s
Run actions/checkout@v4
1s
Run actions/checkout@v4
1s
Run /./docker-coq-action
2m 53s
Post Run actions/checkout@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s