Skip to content
CI (Coq, docker, dev)

Create dependabot-automerge.yml (#1879) #909

Sign in to view logs

Create dependabot-automerge.yml (#1879)

Create dependabot-automerge.yml (#1879) #909

Triggered via push April 17, 2024 00:31
@JasonGrossJasonGross
pushed 85d1d09
sp2019latest
Status Success
Total duration 8h 14m 31s
Artifacts –

docker-coq.yml

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