Dependabot Automerge

Bump deps/coqutil from `126561c` to `c1caa08` #16

Sign in to view logs

Triggered via pull request July 15, 2024 06:42

dependabot[bot]

opened #426

dependabot/submodules/deps/coqutil-c1caa08

Status Success

Total duration 12s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge