Test release

.github/workflows/Tests.yml

@@ -37,3 +37,14 @@ jobs:
           TERM=dumb make -C FinSetsForCAP -j $(nproc) --output-sync ci-test
           cp ./FinSetsForCAP/.codecov.yml ./
           curl -s https://codecov.io/bash | bash
+          git config --global user.name "Bot"
+          git config --global user.email "empty"
+          cd FinSetsForCAP
+          CUR_SHA=$(git rev-parse --verify HEAD)
+          git worktree add gh-pages/ gh-pages || (echo "There was an error. Make sure there is a branch named 'gh-pages'. See https://github.com/homalg-project/PackageJanitor#error-there-was-an-error-make-sure-there-is-a-branch-named-gh-pages"; exit 1)
+          if [ "${{ matrix.image }}" = "gapsystem/gap-docker" ] && [ "$CUR_SHA" = "$(git rev-parse origin/master)" ] && [ $(dirname "$GITHUB_REPOSITORY") = "homalg-project" ]; then \
+            git checkout master; \
+            ./make_dist.sh --token "${{ secrets.GITHUB_TOKEN }}"; \
+          else \
+            echo "Not making a release."; \
+          fi

PackageInfo.g

@@ -15,7 +15,7 @@ Version := Maximum( [
                    ## this line prevents merge conflicts
                    "2017.05.26", ## Julia's version
                    ## this line prevents merge conflicts
-                   "2020.01.20", ## Fabian's version
+                   "2020.10.01", ## Fabian's version
                    ## this line prevents merge conflicts
                    "2018.08.31", ## Mario's version
                    ## this line prevents merge conflicts

make_dist.sh

@@ -1,5 +1,3 @@
-#/bin/bash
+#!/bin/bash
 
-base_dir="$PWD"
-
-./release-gap-package --srcdir ${base_dir} --webdir ${base_dir}/gh-pages --update-file ${base_dir}/gh-pages/update.g $@
+./release-gap-package $@