Skip to content
CI (Coq, docker, dev)

Update .log.expected files with checked-in generated ones #888

Sign in to view logs

Update .log.expected files with checked-in generated ones

Update .log.expected files with checked-in generated ones #888

Triggered via push December 27, 2023 21:33
@JasonGrossJasonGross
pushed 048d025
sp2019latest
Status Success
Total duration 36m 27s
Artifacts –

docker-coq.yml

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