Skip to content

remove redundant workaround for unborn branch on "git clone --colocate" #7300

remove redundant workaround for unborn branch on "git clone --colocate"

remove redundant workaround for unborn branch on "git clone --colocate" #7300

Triggered via pull request October 17, 2023 04:43
Status Success
Total duration 10m 33s
Artifacts

build.yml

on: pull_request
Check protos
46s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
29s
Check that MkDocs can build the docs
Clippy check
4m 5s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in