Skip to content

cli: git push: do not push new bookmarks by default #96

cli: git push: do not push new bookmarks by default

cli: git push: do not push new bookmarks by default #96

build (ubuntu-latest, --all-features)

succeeded Nov 15, 2024 in 6m 7s
Set up job
1s
Run actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
1s
Setup GnuPG [windows]
0s
Setup ssh-agent [windows]
0s
Install Rust
7s
Build
3m 15s
Test
2m 41s
Post Run actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
0s
Complete job
0s