Dependabot Automerge

Bump deps/coqutil from `c1caa08` to `0833256` #23

Sign in to view logs

Triggered via pull request August 8, 2024 05:34

dependabot[bot]

opened #428

dependabot/submodules/deps/coqutil-0833256

Status Success

Total duration 11s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge