Skip to content

Commit

Permalink
Aqua: don't run persistent tasks check in OscarCI for downstream tests (
Browse files Browse the repository at this point in the history
  • Loading branch information
benlorenz committed Sep 24, 2024
1 parent 6238fc7 commit d91db2a
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test/Aqua.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit d91db2a

Please sign in to comment.