Skip to content

Conversation

@FichteFoll
Copy link
Member

@FichteFoll FichteFoll commented Jan 12, 2025

Also allow manual workflow dispatches.

Pull requests and pushes still create each job twice for a push to an open pull request within the same repo, but fixing that is non-trivial and I frankly don't care enough. I still want the pipeline runs for non-default branches for testing without a PR.

Closes #6

Also allow manual workflow dispatches.

Pull requests and pushes still create each job twice for a push to an
open pull request within the same repo, but fixing that is non-trivial
and I frankly don't care enough.
@FichteFoll FichteFoll added this to the v2.4 milestone Jan 12, 2025
@FichteFoll FichteFoll merged commit 0dfd26e into master Jan 12, 2025
16 checks passed
@FichteFoll FichteFoll deleted the feature/schedule branch January 12, 2025 15:45
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.

Add a cron workflow for monitoring

2 participants