build(deps): bump bedrock2 from `0fa3944` to `83268c3` #642

Sign in to view logs

Triggered via push April 1, 2024 21:35

dependabot[bot]

dependabot/submodules/bedrock2-83268c3

Status Success

Total duration 3m 54s

Artifacts –

coq.yml

on: push

Matrix: build