chore: use ubuntu-latest runner

.github/actionlint.yaml

@@ -1,11 +1,6 @@
 self-hosted-runner:
   # Labels of self-hosted runner in array of strings.
-  labels:
-    - buildjet-2vcpu-ubuntu-2204
-    - buildjet-4vcpu-ubuntu-2204
-    - buildjet-8vcpu-ubuntu-2204
-    - buildjet-16vcpu-ubuntu-2204
-    - warp-ubuntu-latest-x64-4x
+  labels: []
 # Configuration variables in array of strings defined in your repository or
 # organization. `null` means disabling configuration variables check.
 # Empty array means no configuration variable is allowed.

.github/workflows/forester-tests.yml

@@ -44,7 +44,7 @@ env:
 jobs:
   test:
     name: Forester e2e test
-    runs-on: warp-ubuntu-latest-x64-4x
+    runs-on: ubuntu-latest
     timeout-minutes: 60
 
     services:
@@ -86,7 +86,7 @@ jobs:
 
   compressible-tests:
     name: Forester compressible tests
-    runs-on: warp-ubuntu-latest-x64-4x
+    runs-on: ubuntu-latest
     timeout-minutes: 60
 
     services:

.github/workflows/programs.yml

@@ -35,7 +35,7 @@ jobs:
   system-programs:
     name: ${{ matrix.test-group }}
     if: github.event.pull_request.draft == false
-    runs-on: warp-ubuntu-latest-x64-4x
+    runs-on: ubuntu-latest
     timeout-minutes: 90
 
     services:

.github/workflows/prover-test.yml

@@ -26,7 +26,7 @@ on:
 jobs:
   build:
     if: github.event_name == 'push' || github.event.pull_request.draft == false
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 15
     steps:
       - name: Checkout sources
@@ -62,7 +62,7 @@ jobs:
 
   test-no-redis:
     needs: build
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 90
     strategy:
       fail-fast: false
@@ -100,7 +100,7 @@ jobs:
 
   test-with-redis:
     needs: build
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     strategy:
       fail-fast: false
@@ -157,7 +157,7 @@ jobs:
       (github.event_name == 'pull_request' &&
        github.event.pull_request.draft == false &&
        github.event.pull_request.base.ref == 'main')
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - name: Checkout sources
@@ -190,7 +190,7 @@ jobs:
       (github.event_name == 'pull_request' &&
        github.event.pull_request.draft == false &&
        github.event.pull_request.base.ref == 'main')
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - name: Checkout sources
@@ -222,7 +222,7 @@ jobs:
       github.event_name == 'pull_request' &&
       github.event.pull_request.draft == false &&
       startsWith(github.event.pull_request.base.ref, 'release')
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 120
     steps:
       - name: Checkout sources
@@ -250,7 +250,7 @@ jobs:
 
   lean-verification:
     needs: build
-    runs-on: buildjet-8vcpu-ubuntu-2204
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - name: Checkout sources

.github/workflows/rust.yml

@@ -29,7 +29,7 @@ env:
 jobs:
   test:
     if: github.event.pull_request.draft == false
-    runs-on: warp-ubuntu-latest-x64-4x
+    runs-on: ubuntu-latest
 
     strategy:
       matrix: