The schedule
Nightly, and on demand
The workflow runs at 03:17 UTC every night, and can be started by hand. Off the hour, so it does not queue behind every other scheduled job on GitHub.
Each provider is its own leg, with fail-fast: false, so one broken
sandbox does not hide the others.