Create dependabot-automerge.yml #714

Sign in to view logs

Triggered via push April 18, 2024 23:43

JasonGross

master

Status Success

Total duration 10m 33s

Artifacts –

coq.yml

on: push

Matrix: build