Speed up npm install
step on Linux ARM runners
#1098
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
npm ci
typically takes ~10s, but forubuntu-24.04-arm
it can take up to 10 minutes.By using
npm i --timing
, I managed to pinpiont the source of the issue toanalysis/reanalyze/examples/deadcode
andanalysis/reanalyze/examples/termination
.These folders were using ReScript v10, and for some reason its postinstall script takes much longer on Linux ARM.
Updating their version of ReScript to
11.1.4
fixed the issue andnpm ci
is as fast as for other runners.