Fixed broken miri CI script

bincode-org · May 1, 2024 · b2eceae · b2eceae
1 parent 4299f6d
commit b2eceae
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -1,6 +1,6 @@
 {
   "name": "miri",
-  "on": [
+  "on": {
     "push": {
       "branches": [
         "trunk",
@@ -14,7 +14,7 @@
         "v*.x"
       ]
     }
-  ],
+  },
   "jobs": {
     "miri": {
       "name": "MIRI",