Skip to content

Commit c44ff27

Browse files
Copilotyebai
andcommitted
Remove AQUA environment variable and always run Aqua tests in All/Tests groups
Co-authored-by: yebai <3279477+yebai@users.noreply.github.com>
1 parent 8182dea commit c44ff27

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

test/runtests.jl

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,10 @@ using Documenter
33
using Test
44

55
const GROUP = get(ENV, "GROUP", "All")
6-
const AQUA = get(ENV, "AQUA", "true") == "true"
76

87
@testset "AbstractPPL.jl" begin
98
if GROUP == "All" || GROUP == "Tests"
10-
if AQUA
11-
include("Aqua.jl")
12-
end
9+
include("Aqua.jl")
1310
include("varname.jl")
1411
include("abstractprobprog.jl")
1512
include("hasvalue.jl")

0 commit comments

Comments
 (0)