Skip to content
CI (Coq)

[sp2019latest] User docker for master test (#1696) #4239

Sign in to view logs

[sp2019latest] User docker for master test (#1696)

[sp2019latest] User docker for master test (#1696) #4239

Triggered via push November 1, 2023 03:03
@JasonGrossJasonGross
pushed 77a2f7d
sp2019latest
Status Success
Total duration 1h 58m 57s
Artifacts –

coq.yml

on: push
Matrix: build
check-all
2s
check-all
Fit to window
Zoom out
Zoom in