cli: fix operation id recorded on unmanaged Git HEAD move #6957
yujabuild.yml
on: push
Check protos
43s
Check formatting
19s
Check that MkDocs can build the docs
31s
Clippy check
3m 1s
Matrix: build
Matrix: cargo-deny