ci: Switch to Buildjet (lurk-lab#35)

samuelburnham · Feb 6, 2024 · 5dd2f24 · 5dd2f24
1 parent acb74cd
commit 5dd2f24
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ on:
 jobs:
   unit-tests:
     name: Unit Tests
-    runs-on: [self-hosted]
+    runs-on: buildjet-16vcpu-ubuntu-2204
     steps:
       - uses: actions/checkout@v4
         with:
@@ -20,6 +20,11 @@ jobs:
         with:
           python-version: 3.8
 
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
       - name: Check formatting
         run: |
           forge fmt --check

diff --git a/.github/workflows/end2end.yml b/.github/workflows/end2end.yml
@@ -13,7 +13,7 @@ env:
 jobs:
   integration-tests-e2e:
     name: E2E verification
-    runs-on: [self-hosted]
+    runs-on: buildjet-16vcpu-ubuntu-2204
     if:
       github.event.issue.pull_request
       && github.event.issue.state == 'open'
@@ -70,4 +70,4 @@ jobs:
           body: |
             End-to-end `!test` action succeeded! :rocket:
 
-            https://github.com/lurk-lab/solidity-verifier/actions/runs/${{ github.run_id }}
+            https://github.com/lurk-lab/solidity-verifier/actions/runs/${{ github.run_id }}