Merge pull request #264 from mohamed-barakat/noJulia

deactivate test-gap_to_julia
homalg-project · Nov 9, 2024 · 7f684c5 · 7f684c5
2 parents b848348 + 1a72037
commit 7f684c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makefile b/makefile
@@ -73,4 +73,4 @@ test-gap_to_julia: doc
 	julia -e 'using Pkg; Pkg.test("Toposes");'
 	julia -e 'using Pkg; Pkg.test("FinSetsForCAP");'
 
-ci-test: test-basic-spacing test-spacing test-doc test-with-coverage test-with-coverage-without-precompiled-code test-gap_to_julia
+ci-test: test-basic-spacing test-spacing test-doc test-with-coverage test-with-coverage-without-precompiled-code #test-gap_to_julia