Merge pull request #237 from moka-rs/fix-ci-2023-03-04

Do not run external CI on temporary branches for GitHub merge queue
moka-rs · Mar 4, 2023 · 28e4b4f · 28e4b4f
2 parents 0d5d1c8 + 6d7659e
commit 28e4b4f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -26,5 +26,9 @@ jobs:
 workflows:
   build:
     jobs:
-    - rust/coverage
+    - rust/coverage:
+        filters:
+          # Ignore pushes on temporary branches for GitHub merge queue.
+          branches:
+            ignore: /gh-readonly-queue\/.*/
   version: 2
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -4,6 +4,9 @@ env:
   NUM_CPUS: "2"
 
 linux_arm64_task:
+  # Skip the whole task when this is a temporary branch for GitHub merge queue.
+  skip: $CIRRUS_BRANCH =~ 'gh-readonly-queue/.*'
+
   arm_container:
     cpu: $NUM_CPUS
     matrix: