From 5a7d7aefe65afd313d87221231c892af01134bca Mon Sep 17 00:00:00 2001
From: Sergey Timoshin <timoshin.sergey@gmail.com>
Date: Wed, 11 Mar 2026 16:47:22 +0000
Subject: [PATCH] refactor: standardize runner environments to use
 ubuntu-latest

---
 .github/actionlint.yaml                     |  7 +------
 .github/workflows/delete-buildjet-cache.yml | 17 -----------------
 .github/workflows/forester-tests.yml        |  4 ++--
 .github/workflows/programs.yml              |  2 +-
 .github/workflows/prover-test.yml           | 14 +++++++-------
 .github/workflows/rust.yml                  |  2 +-
 6 files changed, 12 insertions(+), 34 deletions(-)
 delete mode 100644 .github/workflows/delete-buildjet-cache.yml

diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml
index 49b64609aa..b4ab9570c5 100644
--- a/.github/actionlint.yaml
+++ b/.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.
diff --git a/.github/workflows/delete-buildjet-cache.yml b/.github/workflows/delete-buildjet-cache.yml
deleted file mode 100644
index 7399c42cb5..0000000000
--- a/.github/workflows/delete-buildjet-cache.yml
+++ /dev/null
@@ -1,17 +0,0 @@
-name: Manually Delete BuildJet Cache
-on:
-  workflow_dispatch:
-    inputs:
-      cache_key:
-        description: 'BuildJet Cache Key to Delete'
-        required: true
-        type: string
-jobs:
-  manually-delete-buildjet-cache:
-    runs-on: buildjet-2vcpu-ubuntu-2204
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v6
-      - uses: buildjet/cache-delete@v1
-        with:
-          cache_key: ${{ inputs.cache_key }}
\ No newline at end of file
diff --git a/.github/workflows/forester-tests.yml b/.github/workflows/forester-tests.yml
index 635cff83f5..9cccd34866 100644
--- a/.github/workflows/forester-tests.yml
+++ b/.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:
diff --git a/.github/workflows/programs.yml b/.github/workflows/programs.yml
index 59ea010058..dc886abaf8 100644
--- a/.github/workflows/programs.yml
+++ b/.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:
diff --git a/.github/workflows/prover-test.yml b/.github/workflows/prover-test.yml
index e674ad9d76..77c5106d15 100644
--- a/.github/workflows/prover-test.yml
+++ b/.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
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 540f2a3f3f..f7cc04f72e 100644
--- a/.github/workflows/rust.yml
+++ b/.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: