name change

rasmus-kirk · Dec 16, 2024 · 3ba1827 · 3ba1827
1 parent b91c7ae
commit 3ba1827
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml
@@ -8,7 +8,7 @@ on:
     workflow_dispatch:
 
 jobs:
-  fmt:
+  build-pdf:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v3

diff --git a/report/handin.md → report/report.md b/report/handin.md → report/report.md