Merge branch 'main' of github.com:marcbezem/CL-PC22 into main

.github/workflows/main.yml

@@ -6,15 +6,23 @@ jobs:
     steps:
       - name: Set up git repository
         uses: actions/checkout@v3
-      - name: Compile
+      - name: Compile LaTeX documents (currently 2)
         uses: xu-cheng/latex-action@v2
         with:
           root_file: |
             Intro_CL.tex
             Site_CL.tex
-      - run: mkdir slides && cp Intro_CL.tex Site_CL.tex slides
+      - run: mkdir slides && touch index.html && cp index.html Intro_CL.pdf Site_CL.pdf slides
       - name: Upload artefact
         uses: actions/upload-artifact@v3
         with:
           name: pdfs
-          path: slides
+          path: slides          
+      - name: Publish to GitHub pages
+        if: success()  # && github.ref == 'refs/heads/master'
+        uses: crazy-max/ghaction-github-pages@v3
+        with:
+          target_branch: gh-pages
+          build_dir: slides/
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}    

README.md

@@ -3,8 +3,8 @@ Coherent Logic at Proof and Computation, 2022
 
 Course material:
 
-1. IntroCL.tex
-1. Site_CL.tex
+1. [Intro_CL.pdf](https://marcbezem.github.io/CL-PC22/Intro_CL.pdf)
+1. [Site_CL.pdf](https://marcbezem.github.io/CL-PC22/Site_CL.pdf)
 1. LABresources (directory)
 
 SWI Prolog: https://www.swi-prolog.org/