Skip to content

git-push: fix bad combination of --change and --branch #9957

git-push: fix bad combination of --change and --branch

git-push: fix bad combination of --change and --branch #9957

Triggered via pull request March 23, 2024 08:45
Status Success
Total duration 8m 8s
Artifacts

build.yml

on: pull_request
Check protos
29s
Check protos
Check formatting
13s
Check formatting
Check that MkDocs can build the docs
24s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
36s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 24s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in