Skip to content

copy refs/heads to remote_targets["git"] to remove special case for @git branches #7175

copy refs/heads to remote_targets["git"] to remove special case for @git branches

copy refs/heads to remote_targets["git"] to remove special case for @git branches #7175

Triggered via pull request October 5, 2023 10:06
Status Success
Total duration 9m 26s
Artifacts

build.yml

on: pull_request
Check protos
46s
Check protos
Check formatting
22s
Check formatting
Check that MkDocs can build the docs
30s
Check that MkDocs can build the docs
Clippy check
3m 21s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in