Skip to content
Coq

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

Sign in to view logs

build(deps): bump bedrock2 from a75bcca to 5869477

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

Triggered via push June 6, 2024 07:59
@dependabotdependabot[bot]
pushed 87e3eb2
dependabot/submodules/bedrock2-5869477
Status Success
Total duration 5m 55s
Artifacts –

coq.yml

on: push
Matrix: build
coq-check-all
0s
coq-check-all
Fit to window
Zoom out
Zoom in