fixed CI

2023-10-21 15:13:39 +02:00 · 2023-10-21 15:13:39 +02:00 · fd89750edb
commit fd89750edb
parent 52c29c5213
1 changed files with 2 additions and 2 deletions
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@ -12,8 +12,8 @@ jobs:
      - name: Prepare pages
        run: |
            mkdir public
-            mv build/logic2.pdf build/logic2.log README.md public
+            mv build/probability_theory.pdf build/probability_theory.pdf README.md public
      - name: Deploy to pages
        uses: actions/pages@v1
        with:
-          index-title: 'WS23/24: Logic II'
+          index-title: 'S23: Probability Theory I'