Skip to content

chore: merge main into dev #1219

chore: merge main into dev

chore: merge main into dev #1219

Annotations

1 warning

Run Lints

succeeded Jan 9, 2025 in 1m 26s
Set up job
1s
Install Rust
8s
Checkout repository
2s
Set up cargo cache
10s
Run cargo fmt
8s
Run clippy
55s
Post Set up cargo cache
0s
Post Checkout repository
0s
Complete job
0s