From 58a070b23f7da4bcbcdd1a100a71066e46c6d019 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20van=20Br=C3=BCgge?= Date: Thu, 15 Feb 2024 12:06:07 +0000 Subject: [PATCH] Fix quotes in workflow --- .github/workflows/build_theories.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build_theories.yml b/.github/workflows/build_theories.yml index d1fb733e..34207b97 100644 --- 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