Skip to content

Conversation

sagudev
Copy link
Member

@sagudev sagudev commented Jun 28, 2025

As reported in #329 we sometimes hit a freeze which causes a job to hit 6h limit of GH runners. Instead of hogging runner for 6h, let's lower the limit to 30min, as the job is dead anyway.

@sagudev sagudev added this pull request to the merge queue Jun 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jun 30, 2025
@sagudev sagudev added this pull request to the merge queue Jun 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jun 30, 2025
@sagudev sagudev added this pull request to the merge queue Jun 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jun 30, 2025
@sagudev sagudev added this pull request to the merge queue Jun 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jun 30, 2025
Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
@sagudev sagudev enabled auto-merge July 12, 2025 08:33
@sagudev sagudev added this pull request to the merge queue Jul 12, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 12, 2025
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