pin runners

peiwangdb · Dec 22, 2020 · e9bcfee · e9bcfee
1 parent 38bf9b1
commit e9bcfee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,7 +11,7 @@ jobs:
   ci-all:
     # We currently have two self-hosted runners, one of which is marked "DEV-CI" and other one is marder "MAIN".
     # "MAIN" is the current CI runner, "DEV-CI" is currently used to experiment with CI optimizing.
-    runs-on: self-hosted
+    runs-on: [self-hosted, MAIN]
 
     steps:
     - uses: actions/checkout@v2