build

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

Sign in to view logs

Triggered via pull request October 18, 2023 17:41

martinvonz

opened #2398

push-urqssrpmommr

Status Success

Total duration 11m 31s

Artifacts –

build.yml

on: pull_request

Check formatting

Check that MkDocs can build the docs

Matrix: build

Matrix: cargo-deny