diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8e3fcb9..220f59f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -62,7 +62,6 @@ jobs: miri: name: "Miri" runs-on: ubuntu-latest - continue-on-error: true # Needed until all Miri errors are fixed steps: - uses: actions/checkout@v3 - name: Install Miri