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.

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

[github-actions] run review job is now killed after 10 minutes #2913

Merged
merged 1 commit into from Nov 8, 2023
Merged

[github-actions] run review job is now killed after 10 minutes #2913

merged 1 commit into from Nov 8, 2023

Conversation

grossmannmartin
Copy link
Member

@grossmannmartin grossmannmartin commented Nov 3, 2023 •
edited by github-actions bot

Q A
Description, reason for the PR Sometimes the start review job is running several hours without a reason. This PR kills such jobs after 10 minutes to not block the queue.
New feature No
BC breaks No
Fixes issues ...
Have you read and signed our License Agreement for contributions? Yes

馃寪 Live Preview:

@grossmannmartin grossmannmartin enabled auto-merge (squash) November 8, 2023 08:02
@grossmannmartin grossmannmartin merged commit 5c30c11 into 14.0 Nov 8, 2023
18 checks passed
@grossmannmartin grossmannmartin deleted the grossmannmartin-patch-1 branch November 8, 2023 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pk16011990 pk16011990 pk16011990 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@grossmannmartin @pk16011990