Merge pull request #1071 from mkroening/nightly-2024-02-15 #2505
github-merge-queue[bot]ci.yml
on: push
Check
1m 13s
Clippy
1m 33s
Format
16s
Check docs
39s
Build
1m 33s
Test
1m 36s
Run (x86_64, kvm)
10m 41s
Matrix: Run