Skip to content
CI (Coq, docker, dev)

More indication of success/failure in display test #887

Sign in to view logs

More indication of success/failure in display test

More indication of success/failure in display test #887

Triggered via push December 27, 2023 21:16
@JasonGrossJasonGross
pushed 6e3b84d
sp2019latest
Status Success
Total duration 36m 27s
Artifacts –

docker-coq.yml

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