Skip to content
CI (Coq, docker, dev)

Legacy: adapt to coq/coq#18325 (#1750) #884

Sign in to view logs

Legacy: adapt to coq/coq#18325 (#1750)

Legacy: adapt to coq/coq#18325 (#1750) #884

Triggered via push November 23, 2023 18:42
@JasonGrossJasonGross
pushed e82ae48
sp2019latest
Status Success
Total duration 43m 11s
Artifacts –

docker-coq.yml

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