try to trigger new workflow

whoenig · whoenig · commit f7d229d7522f · 2025-11-25T09:46:27.000+01:00
diff --git a/.github/workflows/draft-pdf.yaml b/.github/workflows/draft-pdf.yaml
@@ -1,9 +1,10 @@
 name: Draft PDF
-on:
-  push:
-    paths:
-      - docs2/paper/**
-      - .github/workflows/draft-pdf.yml
+on: [push]
+# on:
+#   push:
+#     paths:
+#       - docs2/paper/**
+#       - .github/workflows/draft-pdf.yml
 
 jobs:
   paper:
