Revert "deactivate test-gap_to_julia"

This reverts commit 1a72037.
homalg-project · Nov 13, 2024 · 84f2bd0 · 84f2bd0
1 parent 7f684c5
commit 84f2bd0
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