Merge pull request #373 from gkreitz/post_release_cleanup

Post release cleanup

Author: pehrsoderman

.github/workflows/python-app.yml

@@ -36,10 +36,6 @@ jobs:
       run: venv/bin/ruff check --output-format=github
     - name: Check ruff formatting
       run: venv/bin/ruff format --check --diff
-    - name: Install lualatex (temporary, until githubci docker image is updated)
-      run: |
-        apt-get update
-        apt-get install fonts-cmu fonts-noto-color-emoji texlive-luatex
     - name: Test with pytest
       run:  venv/bin/pytest
     - name: Run mypy
@@ -57,10 +53,6 @@ jobs:
     - name: Build debian packages
       run:  |
         make builddeb
-    - name: Install lualatex (temporary, until githubci docker image is updated)
-      run: |
-        apt-get update
-        apt-get install fonts-cmu fonts-noto-color-emoji texlive-luatex
     - name: Install debian package
       run:  dpkg -i ../kattis-problemtools_*.deb
     - name: Verify examples

admin/make_release.sh

@@ -68,9 +68,9 @@ if [[ $THIS_REPO_VERSION != $UPSTREAM_VERSION ]]; then
 fi
 
 
-echo "Below is untested, echoing commands instead of running them"
-echo "Creating a draft release on github"
+echo "Create a draft release on github"
 echo gh -R Kattis/problemtools release create -d v$VERSION
 echo "After finalizing the release on GitHub, please:"
-echo " - trigger the pypi release workflow"
+echo " - trigger the pypi release workflow (Run workflow on https://github.com/Kattis/problemtools/actions/workflows/pypi.yml )"
+echo " - git fetch upstream (pulling the tag to the local repo)"
 echo " - run $ROOT/admin/update_docker.sh v$VERSION"