Coq

build(deps): bump bedrock2 from `dd53be7` to `0fa3944` #637

Sign in to view logs

Triggered via push March 19, 2024 01:17

dependabot[bot]

dependabot/submodules/bedrock2-0fa3944

Status Success

Total duration 3m 52s

Artifacts –

coq.yml

on: push

Matrix: build