timing of bump_toolchain_nightly-testing.yml #394
Description
The timing of this workflow causes us to skip certain nightly toolchains when a Lean nightly appears before the Mathlib of the previous day. Maybe this can be fixed by just adjusting the cron, or possibly it is easier to adjust the logic to check for the lastest Mathlib release.