Update optimism-ci.yaml

runtimeverification · Mar 25, 2024 · fa82624 · fa82624
1 parent 502af85
commit fa82624
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -18,7 +18,7 @@ concurrency:
 jobs:
   optimism:
     name: 'Optimism Kontrol CI'
-    runs-on: [self-hosted, linux, prover]
+    runs-on: [self-hosted, linux, kaas]
     steps:
 
       - name: "Install KaaS"