Skip to content

Commit

Permalink
Update test/Aqua.jl
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens authored Jan 13, 2025
1 parent d27ab04 commit 9b7be50
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/Aqua.jl
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ using Aqua
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=false,
persistent_tasks=!haskey(ENV, "oscar_run_tests"),
)
@test length(Aqua.detect_unbound_args_recursively(Oscar)) <= 16
end

0 comments on commit 9b7be50

Please sign in to comment.