Run PDF generation on dev branch too

FormalLanguageConstrainedPathQuerying · Oct 27, 2024 · 772e021 · 772e021
1 parent c1c5214
commit 772e021
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -6,6 +6,7 @@ on:
       # PRs can only use caches from their target branch. We therefore need to
       # make sure we run on 'main' too.
       - main
+      - dev
   pull_request:
 
 concurrency: