Skip to content

cli: inline export_head_to_git(), use the same wc_commit to update wo… #7135

cli: inline export_head_to_git(), use the same wc_commit to update wo…

cli: inline export_head_to_git(), use the same wc_commit to update wo… #7135

Triggered via push October 3, 2023 16:43
Status Success
Total duration 10m 6s
Artifacts

build.yml

on: push
Check protos
34s
Check protos
Check formatting
23s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Clippy check
3m 22s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in