Skip to content

git fetch: clarify errors with bad characters in globs and branch names #16718

git fetch: clarify errors with bad characters in globs and branch names

git fetch: clarify errors with bad characters in globs and branch names #16718

Triggered via pull request November 28, 2024 22:15
Status Success
Total duration 10m 1s
Artifacts

build.yml

on: pull_request
Build jj-lib without Git support
46s
Build jj-lib without Git support
Check protos
31s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
9s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with latest Python and uv
21s
Check that MkDocs can build the docs with latest Python and uv
Clippy check
2m 35s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in