From 35987a77a1a279184832a9b3d8e2e9aae99eea4e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 26 Apr 2024 17:46:51 +0200
Subject: [PATCH] disable randomize-layout for now

---
 ci-test.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci-test.sh b/ci-test.sh
index d4d4cb9..c90d2d2 100644
--- a/ci-test.sh
+++ b/ci-test.sh
@@ -1,7 +1,8 @@
 #!/bin/bash
 set -euo pipefail
 
-DEFAULTFLAGS="-Zrandomize-layout -Zmiri-strict-provenance"
+# -Zrandomize-layout disabled for now due to <https://github.com/rust-lang/rust/issues/124409>.
+DEFAULTFLAGS="-Zmiri-strict-provenance"
 
 # apply our patch
 rm -rf rust-src-patched