build(deps): bump bedrock2 from `8c4bcd7` to `a5a9d61` #625

Sign in to view logs

Triggered via pull request January 1, 2024 21:40

dependabot[bot]

opened #98

dependabot/submodules/bedrock2-a5a9d61

Status Success

Total duration 3m 59s

Artifacts –

coq.yml

on: pull_request

Matrix: build