Skip to content

merge_tools: do not follow or change permission of symlinks #7714

merge_tools: do not follow or change permission of symlinks

merge_tools: do not follow or change permission of symlinks #7714

Triggered via push November 5, 2023 22:20
Status Success
Total duration 10m 40s
Artifacts

build.yml

on: push
Check protos
32s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
20s
Check that MkDocs can build the docs
Clippy check
2m 14s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in