Fix quotes in workflow

jvanbruegge · Feb 15, 2024 · 58a070b · 58a070b
1 parent 69c5bc3
commit 58a070b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_theories.yml b/.github/workflows/build_theories.yml
@@ -18,7 +18,7 @@ jobs:
       image: makarius/isabelle:Isabelle2023
       options: "--user root"
 
-    if: github.event_name != "pull_request" || !github.event.pull_request.draft
+    if: github.event_name != 'pull_request' || !github.event.pull_request.draft
 
     steps:
       - name: Checkout