From 8d5e6d9278a2214cf1ec7cb04a4016b1184edc73 Mon Sep 17 00:00:00 2001 From: pinage404 Date: Wed, 26 Jun 2024 23:58:14 +0200 Subject: [PATCH] Raspberry Pi 3: try to fix tests --- tests/run.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/run.py b/tests/run.py index ec8d8ce..6668b4e 100755 --- a/tests/run.py +++ b/tests/run.py @@ -81,7 +81,7 @@ def write_eval_test(f: IO[str], profiles: list[str]) -> None: continue system = "x86_64-linux" - if profile in ("raspberry-pi/4", "raspberry-pi/5"): + if profile in ("raspberry-pi/3", "raspberry-pi/4", "raspberry-pi/5"): system = "aarch64-linux" f.write(