ci: delete bad gap/testbugfix file

semigroups · Jan 24, 2024 · 0d1079f · 0d1079f
1 parent 58f3919
commit 0d1079f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ci/run-gap-testbugfix.g b/ci/run-gap-testbugfix.g
@@ -1,4 +1,5 @@
-files_to_delete := ["testbugfix/2021-04-13-TryMaximals.tst"];
+files_to_delete := ["testbugfix/2021-04-13-TryMaximals.tst",
+                    "testbugfix/2017-10-20-runprocess.tst"];
 for f in files_to_delete do
   f := Filename(DirectoriesLibrary("tst"), f);
   if f <> fail then