Skip to content
CI (Coq, docker, dev)

python-is-python3, not python3-is-python #923

Sign in to view logs

python-is-python3, not python3-is-python

python-is-python3, not python3-is-python #923

Triggered via push September 20, 2024 21:38
@JasonGrossJasonGross
pushed 8404184
sp2019latest
Status Failure
Total duration 45m 58s
Artifacts –

docker-coq.yml

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