Skip to content

Merge remote-tracking branch 'origin/main' into rfc/deployment-spec #212

Merge remote-tracking branch 'origin/main' into rfc/deployment-spec

Merge remote-tracking branch 'origin/main' into rfc/deployment-spec #212

Triggered via push February 12, 2024 23:55
Status Success
Total duration 1m 10s
Artifacts

lint.yaml

on: push
check formatting with cargo fmt
11s
check formatting with cargo fmt
lint with cargo clippy
1m 0s
lint with cargo clippy
Fit to window
Zoom out
Zoom in