Fix CI for Aqua.jl tests

Author: MilesCranmer

.github/workflows/CI.yml

@@ -50,9 +50,9 @@ jobs:
         uses: julia-actions/julia-buildpkg@v1
       - name: "Run tests"
         run: |
-            julia --color=yes --project=. -e 'import Pkg; Pkg.add("Coverage")'
-            julia --color=yes --inline=yes --depwarn=yes --code-coverage=user --project=. -e 'import Pkg; Pkg.test(coverage=true)'
-            julia --color=yes --project=. coverage.jl
+            julia --color=yes -e 'import Pkg; Pkg.add("Coverage")'
+            julia --color=yes --threads=auto --check-bounds=yes --depwarn=yes --code-coverage=user -e 'import Coverage; import Pkg; Pkg.activate("."); Pkg.test(coverage=true)'
+            julia --color=yes coverage.jl
         shell: bash
       - name: Coveralls
         uses: coverallsapp/github-action@v2

test/test_aqua.jl

@@ -1,4 +1,4 @@
 using DynamicExpressions
 using Aqua
 
-Aqua.test_all(DynamicExpressions)
+Aqua.test_all(DynamicExpressions; project_toml_formatting=false)