Skip to content

bump gpu timeout#1329

Merged
t-vi merged 2 commits intomainfrom
tom/timeout
Oct 18, 2024
Merged

bump gpu timeout#1329
t-vi merged 2 commits intomainfrom
tom/timeout

Conversation

@t-vi
Copy link
Collaborator

@t-vi t-vi commented Oct 18, 2024

Even better would be to have more runners and smaller jobs, but it is what it is.

@t-vi t-vi marked this pull request as ready for review October 18, 2024 10:50
@t-vi t-vi requested review from Borda and lantiga as code owners October 18, 2024 10:50
@github-actions github-actions bot added the ci label Oct 18, 2024
@t-vi t-vi merged commit 311ad66 into main Oct 18, 2024
@t-vi t-vi deleted the tom/timeout branch October 18, 2024 17:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant