From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 25 Apr 2026 19:27:03 +0000 (+0200)
Subject: add miri CI for a big endian target
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ca0d4e9aac7c96f84649e26064d996c04b27b243;p=scryer-prolog.git

add miri CI for a big endian target
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b58d2a90..912932e4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,6 +64,8 @@ jobs:
           - { os: ubuntu-22.04,   rust-version: "${{ needs.read-msrv.outputs.msrv }}" ,  target: 'x86_64-unknown-linux-gnu'}
           - { os: ubuntu-22.04,   rust-version: beta,    target: 'x86_64-unknown-linux-gnu'}
           - { os: ubuntu-22.04,   rust-version: nightly, target: 'x86_64-unknown-linux-gnu', miri: true, components: "miri"} 
+          # run miri for a big-endian target, without features that require a native library i.e. without crypto, crypto-full, ffi, http, tls
+          - { os: ubuntu-22.04,   rust-version: nightly, target: 's390x-unknown-linux-gnu', miri: true, components: "miri", args: '--no-default-features --features=repl,hostname', test-args: '--no-run --no-default-features --features=repl,hostname', miri-args: '--no-default-features --features=repl,hostname' } 
     defaults:
       run:
         shell: bash