update runners (#20)

* update runners * update runners
runtimeverification · May 31, 2024 · 5d49bdd · 5d49bdd
1 parent 37fe344
commit 5d49bdd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-deploy-by-pull-request.yml b/.github/workflows/build-deploy-by-pull-request.yml
@@ -7,7 +7,7 @@ concurrency:
 
 jobs:
   build:
-    runs-on: [self-hosted, linux, fast]
+    runs-on: [self-hosted, linux, normal]
     environment: develop
     outputs:
       FRONTEND_PORT: ${{ steps.process-outputs.outputs.FRONTEND_PORT }}

diff --git a/.github/workflows/build-deploy-by-push-action.yml b/.github/workflows/build-deploy-by-push-action.yml
@@ -7,7 +7,7 @@ concurrency:
 
 jobs:
   build:
-    runs-on: [self-hosted, linux, fast]
+    runs-on: [self-hosted, linux, normal]
     environment: ${{ github.ref_name }}
     outputs:
       FRONTEND_PORT: ${{ vars.FRONTEND_PORT }}