Merge pull request #1104 from mkroening/nightly-2024-03-15 #2632
github-merge-queue[bot]ci.yml
on: push
Check
1m 13s
Clippy
1m 33s
Format
14s
Check docs
42s
Build
1m 37s
Test
1m 18s
Run (x86_64, kvm)
7m 25s
Matrix: Run