only run miri on develop

i don't want to lose my 30s CI checks
spiraldb · Aug 20, 2024 · 17ac1be · 17ac1be
1 parent fecde16
commit 17ac1be
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -3,7 +3,6 @@ name: Miri
 on:
   push:
     branches: ["develop"]
-  pull_request: {}
   workflow_dispatch: {}
 
 permissions: