Skip to content

Merge to main: Run extensive checks on reservations more often#1971

Merged
rdjjke merged 2 commits intomainfrom
merge-to-main-from/SCHED-644/0
Dec 24, 2025
Merged

Merge to main: Run extensive checks on reservations more often#1971
rdjjke merged 2 commits intomainfrom
merge-to-main-from/SCHED-644/0

Conversation

@github-actions
Copy link
Contributor

This is merge back of the Pull Request #1970 by @rdjjke

Original PR Description

Problem

Now, extensive checks start every 10 minutes, which is too rare.

Solution

Start them every 5 minutes.

Testing

Make sure the run-extensive-checks-on-reservations CronJob runs every 5 minutes.

Release Notes

Nothing

@github-actions github-actions bot added the ignore-for-release Don't include this PR into changelog label Dec 24, 2025
@rdjjke rdjjke merged commit baaadd4 into main Dec 24, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release Don't include this PR into changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant