Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Change "weekly" to "nightly" in cirrus
Yes, the job runs weekly right now, but we call it nightly in most places (including in the cirrus.start file, although that doesn't matter much in practice)
- Loading branch information