Skip to content
CI (Coq, docker, dev)

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

Sign in to view logs

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

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

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

docker-coq.yml

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