build

conflicts: use non-legacy `MergedTreeId` for root commit #12753

Sign in to view logs

Triggered via push July 24, 2024 11:52

martinvonz

push-usrtzkvuzqkr

Status Success

Total duration 8m 0s

Artifacts –

build.yml

on: push

Build jj-lib without Git support

Check formatting

Check that MkDocs can build the docs

Check that MkDocs can build the docs with Poetry 1.8

Matrix: build

Matrix: cargo-deny