From fd89750edb03aeb0bc4190ae22b056ced62f7156 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Sat, 21 Oct 2023 15:13:39 +0200
Subject: [PATCH] fixed CI

---
 .gitea/workflows/build.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 4ba83f4..0dcd7ad 100644
--- 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'