Skip to content
build

git: add --allow-private option to push command #12739

Sign in to view logs

git: add --allow-private option to push command

git: add --allow-private option to push command #12739

Triggered via push July 23, 2024 15:45
@jenningsjennings
pushed 2a9fdba
main
Status Success
Total duration 10m 1s
Artifacts –

build.yml

on: push
Build jj-lib without Git support
42s
Build jj-lib without Git support
Check protos
32s
Check protos
Check formatting
14s
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.8
28s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 33s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in