Dependabot Automerge

Adapt w.r.t. coq/coq#19228. #109

Sign in to view logs

Triggered via pull request July 27, 2024 10:59

ppedrot

opened #1933

ppedrot:template-no-sup-constraint

Status Success

Total duration 10s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge