From dfeeb8d0a7b3bbf6fafdca46b26a13e26e4bc32d Mon Sep 17 00:00:00 2001
From: Guillaume Dalle <22795598+gdalle@users.noreply.github.com>
Date: Tue, 8 Aug 2023 14:09:46 +0200
Subject: [PATCH] Fix Aqua

---
 .github/workflows/Aqua.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Aqua.yml b/.github/workflows/Aqua.yml
index 672c80619..143270237 100644
--- a/.github/workflows/Aqua.yml
+++ b/.github/workflows/Aqua.yml
@@ -14,4 +14,4 @@ jobs:
         with:
           version: '1'
       - name: Aqua.jl
-        run: julia --color=yes -e 'using Pkg; Pkg.add("Aqua"); Pkg.develop(path="."); using Aqua, Krylov; Aqua.test_all(Krylov, ignore=[:Requires])'
+        run: julia --color=yes -e 'using Pkg; Pkg.add("Aqua"); Pkg.develop(path="."); using Aqua, Krylov; Aqua.test_all(Krylov, stale_deps=false); Aqua.test_stale_deps(Krylov; ignore=[:Requires])'