From 2bfb93f2b00082027c81d64290a706d17410777f Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Wed, 29 Jun 2022 10:07:06 -0700 Subject: [PATCH] Add miri on a 64-bit big endian target --- .github/workflows/ci.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 12242e88..40b74fa2 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 + - run: Run cargo miri test (64-bit little endian) + run: cargo miri test --target x86_64-unknown-linux-gnu + - run: 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)