Dependabot Automerge

Adapt to https://github.com/coq/coq/pull/19530 #43

Sign in to view logs

Triggered via pull request September 17, 2024 09:44

proux01

opened #432

proux01:stdlib_repo

Status Skipped

Total duration 2s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge