From d91db2a681e0ca0720d8c8a039dea87e1961e453 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Date: Tue, 24 Sep 2024 11:47:33 +0200
Subject: [PATCH] Aqua: don't run persistent tasks check in OscarCI for
 downstream tests (#4140)

---
 test/Aqua.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/Aqua.jl b/test/Aqua.jl
index 0f2c72467b95..07ef76bcb5bf 100644
--- a/test/Aqua.jl
+++ b/test/Aqua.jl
@@ -6,6 +6,9 @@ using Aqua
     ambiguities=false,      # TODO: fix ambiguities
     unbound_args=false,     # TODO: fix unbound type parameters
     piracies=false,         # TODO: check the reported methods to be moved upstream
+    # Aqua persistent task does not work properly with developed dependencies
+    # thus we disable these tests when running in OscarCI:
+    persistent_tasks=!haskey(ENV, "oscar_run_tests"),
   )
   @test length(Aqua.detect_unbound_args_recursively(Oscar)) <= 16
 end