Updated miri triggers to match the other pipelines

Victor Koenders · Victor Koenders · commit 1098e1a691c5 · 2024-03-17T20:08:41.000+01:00
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -1,7 +1,19 @@
 {
   "name": "miri",
   "on": [
-    "pull_request"
+    "push": {
+      "branches": [
+        "trunk",
+        "v*.x",
+        "ci/*"
+      ]
+    },
+    "pull_request": {
+      "branches": [
+        "trunk",
+        "v*.x"
+      ]
+    }
   ],
   "jobs": {
     "miri": {
