Skip to content

feat(ci): Timeout long running actions - #302

Open
spotandjake wants to merge 1 commit into
mainfrom
spotandjake/timeout
Open

spotandjake wants to merge 1 commit into
mainfrom
spotandjake/timeout

Conversation

@spotandjake

Copy link
Copy Markdown
Member

This pr adds actions timeouts to our ci runs, the motivation for this pr was hangs we are seeing on windows, instead of running for 6 hours and cancelling manually when we notice it makes more sense to just set high upper limits.

The idea here is that these are upper limits, we should never be timing out builds except for cases where something has hung.

Opam:
looking over the recent runs most builds seem to take between 20 and 3- minutes, we give 90 minutes to leave a bit of a buffer (primarly for windows).

Esy:
looking over the recent runs most builds seem to take between 20 and 90 minutes, we give 120 minutes to leave a bit of a buffer (primarly for windows).

Release:
I didn't apply any timeout here as we tend to watch release workflows run and catch issues quickly, the runs themselves seem a bit inconnsistent so I don't think it really makes sense, or would provide much benefit.

@spotandjake spotandjake self-assigned this Oct 15, 2026

@Kara-Zor-El Kara-Zor-El left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good

This pr adds actions timeouts to our ci runs, the motivation for this pr was hangs we are seeing on windows, instead of running for 6 hours and cancelling manually when we notice it makes more sense to just set high upper limits.

The idea here is that these are upper limits, we should never be timing out builds except for cases where something has hung.

Opam:
looking over the recent runs most builds seem to take between 20 and 3- minutes, we give 90 minutes to leave a bit of a buffer (primarly for windows).

Esy:
looking over the recent runs most builds seem to take between 20 and 90 minutes, we give 120 minutes to leave a bit of a buffer (primarly for windows).
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