CFAVML-2: Make miri a manual trigger

ChillFish8 · ChillFish8 · commit 5615fa7b3d20 · 2024-08-22T00:43:43.000+02:00
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -1,8 +1,5 @@
 name: Run Miri
-on:
-  pull_request:
-    branches:
-      - main
+on: workflow_dispatch
 
 jobs:
   miri:
