ci: add develop branch to push trigger in LaTeX document workflow

merendamattia · merendamattia · commit d2ca1c3ef852 · 2025-12-22T08:52:26.000+01:00
diff --git a/.github/workflows/check-latex-document.yaml b/.github/workflows/check-latex-document.yaml
@@ -9,6 +9,7 @@ on:
   push:
     branches:
       - main
+      - develop
       - relazione
   workflow_dispatch:
 
