Merge pull request #284 from dtolnay/powerpc

Add miri on a 64-bit big endian target
dtolnay · Jun 29, 2022 · c5922c4 · c5922c4
2 parents 82be7d1 + 9e5c971
commit c5922c4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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)