This repository has been archived by the owner on Mar 26, 2024. It is now read-only.
on schedule weekly #18
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
on-schedule-weekly.yml
on: schedule
check rust
/
...
/
test beta
32s
check rust
/
...
/
test miri
58s