Skip to content

Rename default branch to main #3471

Rename default branch to main

Rename default branch to main #3471

Triggered via push July 18, 2026 14:35
Status Success
Total duration 12m 8s
Artifacts

ci.yml

on: push
clippy  /  clippy
54s
clippy / clippy
docs  /  docs
28s
docs / docs
cargo minimal-versions build
25s
cargo minimal-versions build
cargo bench
48s
cargo bench
cargo hack check --feature-powerset
2m 54s
cargo hack check --feature-powerset
cargo miri test
12m 2s
cargo miri test
tidy
13s
tidy
Matrix: build
Matrix: core-msrv
Matrix: no-std
Matrix: san
Matrix: cargo test
Matrix: util-msrv
Fit to window
Zoom out
Zoom in