Dependabot auto-merge

Bump external/coqutil from `c1caa08` to `0833256` #20

Sign in to view logs

Triggered via pull request August 8, 2024 09:02

dependabot[bot]

opened #87

dependabot/submodules/external/coqutil-0833256

Status Success

Total duration 13s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge