Coq

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

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 1h 21m 18s

Artifacts –

coq.yml

on: pull_request

Matrix: build