Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #3321 - RalfJung:macos-time, r=RalfJung
more dealing with macOS CI runners being slow 500ms seems to still sometimes not enough... so let's double it...
- Loading branch information