Merge pull request #588 from zickgraf/master

homalg-project · Jul 11, 2023 · 9f042e3 · 9f042e3
2 parents 71a6b6d + 67f4496
commit 9f042e3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/makefile b/makefile
@@ -15,7 +15,8 @@ build: build_Gauss
 ci-prepare:
 	./ci_prepare
 
-ci-test: doc ci-test_LoadSheaves ci-test_all_packages ci-test_alexander ci-test_CAP_project ci-test_D-Modules ci-test_Sheaves ci-test_ToricVarieties ci-test_VirtualCAS
+# ci-test_ToricVarieties: https://github.com/homalg-project/ToricVarieties_project/issues/205
+ci-test: doc ci-test_LoadSheaves ci-test_all_packages ci-test_alexander ci-test_CAP_project ci-test_D-Modules ci-test_Sheaves ci-test_VirtualCAS
 	cd .. && homalg_project/gather_performance_data.py
 
 ################################