Skip to content

improve error message when missing ops head #11899

improve error message when missing ops head

improve error message when missing ops head #11899

Triggered via pull request June 21, 2024 19:30
Status Success
Total duration 8m 31s
Artifacts

build.yml

on: pull_request
Build jj-lib without Git support
43s
Build jj-lib without Git support
Check protos
26s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
24s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 27s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in