Merge pull request #19 from mohamed-barakat/devel

applied PackageJanitor

.codecov.yml

@@ -1,5 +1,6 @@
 codecov:
   disable_default_path_fixes: true
+  require_ci_to_pass: false
 fixes:
   - "/home/gap/.gap/pkg/LessGenerators/::"
 ignore:

.github/workflows/Tests.yml

@@ -37,16 +37,17 @@ jobs:
           # build documentation of packages which we might want to reference, keep this in sync with `release-gap-package`
           [ -d "CAP_project/CAP" ] && make -C "CAP_project/CAP" doc
           [ -d "CAP_project/CompilerForCAP" ] && make -C "CAP_project/CompilerForCAP" doc
-          [ -d "CAP_project/FreydCategoriesForCAP" ] && make -C "CAP_project/FreydCategoriesForCAP" doc
           [ -d "CAP_project/MonoidalCategories" ] && make -C "CAP_project/MonoidalCategories" doc
+          [ -d "CAP_project/CartesianCategories" ] && make -C "CAP_project/CartesianCategories" doc
+          [ -d "CAP_project/FreydCategoriesForCAP" ] && make -C "CAP_project/FreydCategoriesForCAP" doc
           [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ] && make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc
           [ -d "homalg_project/homalg" ] && make -C "homalg_project/homalg" doc
           [ -d "homalg_project/Modules" ] && make -C "homalg_project/Modules" doc
           [ -d "Toposes" ] && make -C "Toposes" doc
           TERM=dumb make -C LessGenerators -j $(nproc) --output-sync ci-test
           cp ./LessGenerators/.codecov.yml ./
           (cd LessGenerators && LANG=C.UTF-8 python3 process_coverage_ignored_lines.py)
-          [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker-master:latest" ] && ./LessGenerators/upload_codecov.sh
+          [ "$GITHUB_EVENT_NAME" != "schedule" ] && [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker-master:latest" ] && ./LessGenerators/upload_codecov.sh
           git config --global user.name "Bot"
           git config --global user.email "empty"
           cd LessGenerators

PackageInfo.g

@@ -10,13 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LessGenerators",
 Subtitle := "Find smaller generating sets for modules",
-Version := Maximum( [
-                   "2020.10-02", ## Mohamed's version
-                   ## this line prevents merge conflicts
-                   "2017.06.21", ## Vinay's version
-                   ## this line prevents merge conflicts
-                   "2013.11.06", ## Sebas' version
-                   ] ),
+Version := "2022.07-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -106,7 +100,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.9.1",
+  GAP := ">= 4.11.1",
   NeededOtherPackages := [
                    [ "AutoDoc", ">= 2013.08.07" ],
                    [ "Modules", ">= 2017.06.19" ],

makefile

@@ -31,10 +31,6 @@ test-with-coverage: doc
 	gap --quitonbreak --cover stats tst/testall.g
 	echo 'LoadPackage("profiling"); OutputJsonCoverage("stats", "coverage.json");' | gap --quitonbreak
 
-test-with-coverage-without-precompiled-code: doc
-	gap --quitonbreak --cover stats_no_precompiled_code tst/testall_no_precompiled_code.g
-	echo 'LoadPackage("profiling"); OutputJsonCoverage("stats_no_precompiled_code", "coverage_no_precompiled_code.json");' | gap --quitonbreak
-
 test-spacing:
 	grep -R "[^ [\"]  " gap/*.gi && echo "Duplicate spaces found" && exit 1 || exit 0
 	grep -RE '[^ ] +$$' gap/* && echo "Trailing whitespace found" && exit 1 || exit 0

release-gap-package

@@ -461,7 +461,7 @@ fi
 chmod -R a+r .
 
 # replace links to packages which are possibly referenced in the documentation, keep this in sync with `Tests.yml.j2`
-for package in CAP_project/CAP CAP_project/CompilerForCAP CAP_project/FreydCategoriesForCAP CAP_project/MonoidalCategories HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra homalg_project/homalg homalg_project/Modules Toposes; do
+for package in CAP_project/CAP CAP_project/CompilerForCAP CAP_project/MonoidalCategories CAP_project/CartesianCategories CAP_project/FreydCategoriesForCAP HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra homalg_project/homalg homalg_project/Modules Toposes; do
 
     # adjust links to other manuals
     # Note that we cannot use sed's `-i` option for in-place editing, as