minor optical improvements of the previous

Author: exaexa

.github/workflows/main.yml

@@ -1,4 +1,4 @@
-name: Thesis build
+name: build and verify PDFs
 
 on:
   push:
@@ -17,7 +17,7 @@ jobs:
     steps:
       - uses: actions/checkout@v5
       - name: Build the thesis
-        run: latexmk thesis && latexmk abstract-cz && latexmk abstract-en
+        run: latexmk thesis abstract-cz abstract-en
       - name: Upload artifacts
         uses: actions/upload-artifact@v4
         with:

.github/workflows/pages.yml

@@ -2,26 +2,27 @@ name: Publish thesis PDFs to GitHub Pages
 
 on:
   workflow_run:
-    workflows: ["Thesis build"]
+    workflows:
+      - build and verify PDFs
     types:
       - completed
     branches: [master]
 
 jobs:
   deploy:
     if: ${{ github.event.workflow_run.conclusion == 'success' }}
-    name: Build thesis PDFs and push them to pages
+    name: Push thesis PDFs to pages
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
-      - name: Download Thesis artifact
+      - name: Download thesis artifact
         uses: actions/download-artifact@v4
         with:
           name: Thesis
           path: public/
           run-id: ${{ github.event.workflow_run.id }}
           github-token: ${{ secrets.GITHUB_TOKEN }}
-      - name: Upload to gh-pages
+      - name: Force-push to gh-pages
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |

README.md

@@ -89,7 +89,7 @@ Pull requests welcome.
 ## License?
 
 Parts of the code (esp. the title page) are based on the original template (available from the faculty website) by Martin Mareš, Arnošt Komárek, and Michal Kulich.
-Small and useful fixes were coded or pointed out by Vít Kabele, Jan Joneš, Gabriela Suchopárová, Evžen Wybitul, and many others.
+Small and useful fixes were coded or pointed out by Vít Kabele, Jan Joneš, Gabriela Suchopárová, Evžen Wybitul, Michal Kodad, and many others.
 (Many thanks to everyone involved!)
 
 University and faculty logos are a property of the respective universities and faculties.