build(deps): bump bedrock2 from `a75bcca` to `5869477` #695

Sign in to view logs

Triggered via pull request June 6, 2024 07:59

dependabot[bot]

opened #122

dependabot/submodules/bedrock2-5869477

Status Success

Total duration 6m 53s

Artifacts –

coq.yml

on: pull_request

Matrix: build