Skip to content

Commit

Permalink
Updated miri triggers to match the other pipelines
Browse files Browse the repository at this point in the history
  • Loading branch information
Victor Koenders committed Mar 17, 2024
1 parent 2bb3b7c commit 1098e1a
Showing 1 changed file with 13 additions and 1 deletion.
14 changes: 13 additions & 1 deletion .github/workflows/miri.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,19 @@
{
"name": "miri",
"on": [
"pull_request"
"push": {
"branches": [
"trunk",
"v*.x",
"ci/*"
]
},
"pull_request": {
"branches": [
"trunk",
"v*.x"
]
}
],
"jobs": {
"miri": {
Expand Down

0 comments on commit 1098e1a

Please sign in to comment.