Merge branch 'dev' into bump-epubcheck

plfa · Dec 8, 2023 · 00e0e5d · 00e0e5d
2 parents d656cb0 + 1ef434f
commit 00e0e5d
Show file tree

Hide file tree

Showing 6 changed files with 582 additions and 27 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -176,7 +176,7 @@ jobs:
           path: "site"
 
       - name: Publish to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@v4.4.3
+        uses: JamesIves/github-pages-deploy-action@v4.5.0
         with:
           branch: web
           folder: "site"

diff --git a/courses/TSPL/2023/Assignment5.pdf b/courses/TSPL/2023/Assignment5.pdf