Merge pull request #10 from Gepetto/ci

update CI
Gepetto · Nov 27, 2024 · bb01dc4 · bb01dc4
2 parents b5ba895 + a2be85d
commit bb01dc4
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,12 @@
 name: Test
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+    - main
+  pull_request:
+    branches:
+    - main
 
 env:
     CTEST_OUTPUT_ON_FAILURE: 1

diff --git a/.mergify.yml b/.mergify.yml
@@ -0,0 +1,12 @@
+pull_request_rules:
+  - name: merge automatically when CI passes and PR is approved
+    conditions:
+      - check-success = "CMake"
+      - check-success = "Pip"
+      - check-success = "pre-commit.ci - pr"
+      - or:
+        - author = pre-commit-ci[bot]
+        - author = dependabot[bot]
+        - approved-reviews-by = nim65s
+    actions:
+      merge: