diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 13aca99f..0d56b9d2 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -33,5 +33,8 @@ jobs: - name: Cargo version run: cargo version --verbose + - name: Miri setup + run: cargo miri setup + - name: Test with Miri on ${{ matrix.target }} run: cargo miri test -p clmul -p matrix-transpose --target ${{ matrix.target }}