Skip to content
Docker CI

release for coq-8.18, configure.ac and meta.yml edited by hand, the rest #85

Sign in to view logs

release for coq-8.18, configure.ac and meta.yml edited by hand, the rest

release for coq-8.18, configure.ac and meta.yml edited by hand, the rest #85

Triggered via push October 24, 2023 06:23
@ybertotybertot
pushed 712311f
coq-v8.18
Status Failure
Total duration 1m 55s
Artifacts –

docker-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in