build(deps): bump bedrock2 from `b36804f` to `1640546` #603

Sign in to view logs

Triggered via push October 1, 2023 21:19

dependabot[bot]

dependabot/submodules/bedrock2-1640546

Status Success

Total duration 6m 27s

Artifacts –

coq.yml

on: push

Matrix: build