From 9e5c971b39cba8fe8c0131bb7701d804568e3bfd 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..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)