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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build without docker, use GitHub Linux ARM runner #1069

Merged
merged 1 commit into from
Jan 24, 2025
Merged

Build without docker, use GitHub Linux ARM runner #1069

merged 1 commit into from
Jan 24, 2025

Conversation

cknitt
Copy link
Member

@cknitt cknitt commented Jan 22, 2025 •
edited
Loading

  • No need for Docker anymore
  • Get rid of BuildJet runner

@cknitt cknitt requested review from zth and fhammerschmidt January 22, 2025 13:34
@nojaf
Copy link
Contributor

nojaf commented Jan 22, 2025

What is like the tl;dr of BuildJet?

@cknitt
Copy link
Member Author

cknitt commented Jan 22, 2025

What is like the tl;dr of BuildJet?

We were just using it because it was offering hosted Linux ARM 64 GitHub action runners which GitHub themselves did not offer at the time.

It is a paid service (but not really very expensive for our usage). I see no reason to continue using it. The new GitHub Linux ARM runner is free, and seems faster than the BuildJet runner we were using, too.

@cknitt cknitt merged commit 82bbdc5 into rescript-lang:master Jan 24, 2025
6 checks passed
@cknitt cknitt deleted the github-arm-runner branch January 24, 2025 08:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zth zth zth approved these changes

@fhammerschmidt fhammerschmidt Awaiting requested review from fhammerschmidt

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

Successfully merging this pull request may close these issues.
3 participants
@cknitt @nojaf @zth