Dependabot Automerge

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

Sign in to view logs

Triggered via pull request September 17, 2024 15:44

proux01

synchronize #130

proux01:stdlib_repo

Status Skipped

Total duration 2s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge