From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 24 May 2026 19:22:00 +0000 (-0600)
Subject: Merge pull request #3312 from Skgland/big-endian-miri
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=609514b4b868298f13fc5f347737dbc1309cbe59;p=scryer-prolog.git

Merge pull request #3312 from Skgland/big-endian-miri

run miri for a big-endian target
---

609514b4b868298f13fc5f347737dbc1309cbe59