Skip to content

build(deps): bump bedrock2 from 77ba410 to 2223b2a #703

build(deps): bump bedrock2 from 77ba410 to 2223b2a

build(deps): bump bedrock2 from 77ba410 to 2223b2a #703

Triggered via push July 17, 2024 07:53
Status Success
Total duration 9m 36s
Artifacts

coq.yml

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