Skip to content

github: bump the github-dependencies group with 1 update #7313

github: bump the github-dependencies group with 1 update

github: bump the github-dependencies group with 1 update #7313

Triggered via pull request October 18, 2023 15:15
Status Success
Total duration 14m 7s
Artifacts

build.yml

on: pull_request
Check protos
47s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
33s
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