Skip to content

Commit 5c3f317

Browse files
committed
CI: also test on powerpc
1 parent 802de3d commit 5c3f317

File tree

1 file changed

+5
-0
lines changed
  • src/tools/miri/.github/workflows

1 file changed

+5
-0
lines changed

src/tools/miri/.github/workflows/ci.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -41,6 +41,11 @@ jobs:
4141
multiarch: s390x
4242
gcc_cross: s390x-linux-gnu
4343
qemu: true
44+
- host_target: powerpc64le-unknown-linux-gnu
45+
os: ubuntu-latest
46+
multiarch: ppc64el
47+
gcc_cross: powerpc64le-linux-gnu
48+
qemu: true
4449
- host_target: aarch64-apple-darwin
4550
os: macos-latest
4651
- host_target: i686-pc-windows-msvc

0 commit comments

Comments
 (0)