diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 01a147e4..29ba43e0 100644 --- 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",