build

merged_tree: slightly adjust doc comment of inner trees() helpers #134

Sign in to view logs

Triggered via push November 30, 2024 01:09

yuja

push-xzonyvwymuxu

Status Success

Total duration 10m 24s

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 latest Python and uv

Matrix: build

Matrix: cargo-deny