Dependabot Automerge

Use docker for all Coq versions #12

Sign in to view logs

Triggered via pull request October 4, 2024 20:13

JasonGross

opened #161

docker-only

Status Skipped

Total duration 2s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge