Skip to content

Docker-Coq CI

Docker-Coq CI #642

Annotations

1 warning

custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)

succeeded Dec 11, 2024 in 2m 35s
Set up job
0s
Run actions/checkout@v4
1s
Run actions/checkout@v4
0s
Run /./docker-coq-action
2m 26s
Revert permissions
0s
Run actions/upload-artifact@v4
1s
Post Run actions/checkout@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s