diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 12242e88..91a63ff2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -57,7 +57,10 @@ jobs: - uses: dtolnay/install@xargo with: bin: xargo-check - - run: cargo miri test + - name: Run cargo miri test (64-bit little endian) + run: cargo miri test --target x86_64-unknown-linux-gnu + - name: Run cargo miri test (64-bit big endian) + run: cargo miri test --target powerpc64-unknown-linux-gnu - name: Run cargo miri test (32-bit little endian) run: cargo miri test --target i686-unknown-linux-gnu - name: Run cargo miri test (32-bit big endian)