Skip to content
CI (Coq, docker, dev)

install python3-is-python #921

Sign in to view logs

install python3-is-python

install python3-is-python #921

Triggered via push September 20, 2024 18:01
@JasonGrossJasonGross
pushed 8e4d30e
sp2019latest
Status Failure
Total duration 1m 51s
Artifacts –

docker-coq.yml

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