Run miri on PRs as well

CAD97 · web-flow · commit 26c260e4c889 · 2023-01-31T03:46:04.000-06:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -134,7 +134,6 @@ jobs:
 
   cargo-miri:
     name: Miri
-    if: ${{ github.event.pusher.name == 'bors[bot]' }}
     runs-on: ubuntu-latest
     steps:
 
