Merge pull request #1418 from hermit-os/nightly-2024-10-15 #4650
github-merge-queue[bot]ci.yml
on: push
Check
1m 34s
Clippy
2m 12s
Format
19s
Doc
1m 18s
Build
1m 41s
Test
1m 44s
Matrix: Run