Skip to content

ad-hoc Coq-Docker-Action config for 8.18 #132

ad-hoc Coq-Docker-Action config for 8.18

ad-hoc Coq-Docker-Action config for 8.18 #132

Triggered via push August 3, 2023 21:38
Status Failure
Total duration 22m 52s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in