docs(paper): don't store paper PDF in repo

jolars · jolars · commit 03bc74d73fb3 · 2026-03-02T15:51:16.000+01:00
Let's not store the PDF in the repo. I thought this would work smoothly
with the CI action that autogenerates it, but it's causing headaches in
other PRs.

ci: remove generate PDF from paper draft workflow
diff --git a/.github/workflows/draft-paper.yaml b/.github/workflows/draft-paper.yaml
@@ -28,9 +28,3 @@ jobs:
         with:
           name: paper
           path: paper/paper.pdf
-
-      - name: Commit PDF to repository
-        uses: EndBug/add-and-commit@v9
-        with:
-          message: "docs(paper): update PDF of paper draft"
-          add: paper/paper.pdf
diff --git a/paper/.gitignore b/paper/.gitignore
@@ -0,0 +1 @@
+paper.pdf
diff --git a/paper/paper.pdf b/paper/paper.pdf
