From f3db923d83127aa568a9f1c841962aa3ba58e031 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Marcos=20P=2E=20Bezerra?=
 <marcospb19@hotmail.com>
Date: Tue, 28 Nov 2023 18:27:07 -0300
Subject: [PATCH] Decrease memory usage in ARMv7 CI

Our GitHub Actions CI was failing because the ARMv7 systems use QEMU
which consumes more memory than usual, by decreasing the memory usage,
we expect to make it all work again.
---
 tests/integration.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tests/integration.rs b/tests/integration.rs
index f88e568..5b17fc8 100644
--- a/tests/integration.rs
+++ b/tests/integration.rs
@@ -108,7 +108,11 @@ fn single_empty_file(ext: Extension, #[any(size_range(0..8).lift())] exts: Vec<F
 fn single_file(
     ext: Extension,
     #[any(size_range(0..8).lift())] exts: Vec<FileExtension>,
-    #[strategy(proptest::option::of(0i16..12))] level: Option<i16>,
+    #[cfg_attr(not(target_arch = "arm"), strategy(proptest::option::of(0i16..12)))]
+    // Decrease the value of --level flag for `arm` systems, because our GitHub
+    // Actions CI runs QEMU which makes the memory consumption higher.
+    #[cfg_attr(target_arch = "arm", strategy(proptest::option::of(0i16..8)))]
+    level: Option<i16>,
 ) {
     let dir = tempdir().unwrap();
     let dir = dir.path();