Skip to content

Conversation

@mvz
Copy link
Member

@mvz mvz commented Nov 15, 2025

These schedules make GitHub disable the whole workflow when activity is low, and I'd rather the jobs were run whenever a pull request lands.

These schedules make GitHub disable the whole workflow when activity is
low, and I'd rather the jobs were run whenever a pull request lands.
@mvz mvz merged commit 79d89af into master Nov 15, 2025
10 checks passed
@mvz mvz deleted the remove-ci-schedule branch November 15, 2025 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants