Skip to content

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

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 #7184

Triggered via pull request October 5, 2023 18:47
Status Success
Total duration 13m 3s
Artifacts

build.yml

on: pull_request
Check protos
44s
Check protos
Check formatting
18s
Check formatting
Check that MkDocs can build the docs
26s
Check that MkDocs can build the docs
Clippy check
4m 1s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in