Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHub disables the workflow completely if you don't have any code changes for 60 days. Unfortunately they don't only disable the scheduled trigger, but _all_ triggers, so CI wasn't running on PRs either. Since this repo is mostly dormant, I'm turning off the schedule to prevent this happening in the future.
- Loading branch information