Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: improve random cron generation #411

Merged
merged 1 commit into from
Apr 5, 2024
Merged

Conversation

xiehan
Copy link
Contributor

@xiehan xiehan commented Apr 5, 2024

I noticed the lock workflow was still failing sometimes, and from what I could tell the runs that failed were most likely to be during business hours (US time). I'm hoping we can address the issue by running during the night (early morning hours UTC).

While I was at it, I refactored Mutahhir's great work into a separate script so that it could be reused across workflows; another one that makes a fair number of API calls that could benefit from this approach is the stale workflow.

@xiehan xiehan requested a review from a team as a code owner April 5, 2024 12:26
@xiehan xiehan requested review from mutahhir and ansgarm and removed request for a team April 5, 2024 12:26
@xiehan xiehan merged commit 8d8fe3f into main Apr 5, 2024
11 checks passed
@xiehan xiehan deleted the finetuned-cron-scheduling branch April 5, 2024 12:35
Copy link

I'm going to lock this pull request because it has been closed for at least 7 days. This helps our maintainers find and focus on the active issues. If you've found a problem that seems related to this change, please open a new issue so we can investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 13, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant