Skip to content

repo: consider empty and undescribed merge commits as discardable #7

repo: consider empty and undescribed merge commits as discardable

repo: consider empty and undescribed merge commits as discardable #7

Triggered via push May 29, 2024 20:48
Status Success
Total duration 7m 34s
Artifacts

build.yml

on: push
Check protos
24s
Check protos
Check formatting
12s
Check formatting
Check that MkDocs can build the docs
22s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
21s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 25s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in