Update CI config

taiki-e · Jun 23, 2022 · 1a23b74 · 1a23b74
1 parent 8a1e441
commit 1a23b74
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/bors.toml b/.github/bors.toml
@@ -1 +1,5 @@
-status = ["ci"]
+status = [
+    "ci",
+    "test (aarch64-unknown-linux-gnu)",
+    "valgrind (aarch64-unknown-linux-gnu)",
+]
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -403,7 +403,7 @@ jobs:
 
   ci-success:
     name: ci
-    if: success()
+    if: github.event_name == 'push' && success()
     needs:
       - test
       - build