Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: switch off the nightly release builds (#4145)
This CI workflow has been failing for some time, and I get a notification every night. There is no need to waste your GitHub Actions budget on this.
- Loading branch information