Skip to content
Coq

Create dependabot-automerge.yml #666

Sign in to view logs

Create dependabot-automerge.yml

Create dependabot-automerge.yml #666

Triggered via pull request April 13, 2024 15:58
@JasonGrossJasonGross
opened #114
JasonGross:patch-3
Status Success
Total duration 3m 52s
Artifacts –

coq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in