Skip to content

git: add .jj/.gitignore when creating colocated repo #7317

git: add .jj/.gitignore when creating colocated repo

git: add .jj/.gitignore when creating colocated repo #7317

Triggered via push October 18, 2023 20:19
Status Success
Total duration 13m 26s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Check protos
1m 2s
Check protos
Check formatting
23s
Check formatting
Check that MkDocs can build the docs
29s
Check that MkDocs can build the docs
Clippy check
3m 39s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in