Apply PackageJanitor

Author: zickgraf

.github/workflows/Tests.yml

@@ -35,10 +35,11 @@ jobs:
           # set SOURCE_DATE_EPOCH for reproducible PDFs
           export SOURCE_DATE_EPOCH=0
           TERM=dumb make -C FinSetsForCAP -j $(nproc) --output-sync ci-test
+          cp ./FinSetsForCAP/.codecov.yml ./
           curl -s https://codecov.io/bash | bash
           cd FinSetsForCAP
           CUR_SHA=$(git rev-parse --verify HEAD)
-          git worktree add branch_doc/ doc || (echo "There was an error. Make sure there is a branch named 'doc'."; exit 1)
+          git worktree add branch_doc/ doc || (echo "There was an error. Make sure there is a branch named 'doc'. See https://github.com/homalg-project/PackageJanitor#error-there-was-an-error-make-sure-there-is-a-branch-named-doc"; exit 1)
           cp doc/manual.pdf branch_doc/FinSetsForCAP.pdf
           cd branch_doc
           git add FinSetsForCAP.pdf

PackageInfo.g

@@ -79,7 +79,7 @@ IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
 PackageWWWHome  := "https://github.com/homalg-project/FinSetsForCAP",
 PackageInfoURL  := "https://raw.githubusercontent.com/homalg-project/FinSetsForCAP/master/PackageInfo.g",
 README_URL      := "https://raw.githubusercontent.com/homalg-project/FinSetsForCAP/master/README.md",
-ArchiveURL      := Concatenation( "https://github.com/homalg-project/FinSetsForCAP/releases/download/v-", ~.Version, "/FinSetsForCAP-", ~.Version ),
+ArchiveURL      := Concatenation( "https://github.com/homalg-project/FinSetsForCAP/releases/download/v", ~.Version, "/FinSetsForCAP-", ~.Version ),
 # END URLS
 
 ArchiveFormats := ".tar.gz",