From 8a86b912e68c907574f3f17e6915215193c6ec55 Mon Sep 17 00:00:00 2001
From: Michael Ekstrand <mdekstrand@drexel.edu>
Date: Wed, 3 Jul 2024 18:30:00 -0400
Subject: [PATCH] try to fix workflow condition

---
 .github/workflows/docs.yml | 2 +-
 lkdev/workflows/docs.py    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0782a7b1d..d94d0ef33 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -79,7 +79,7 @@ jobs:
     runs-on: ubuntu-latest
     needs:
       - archive
-    if: github.event_name == "push" || github.event_name == "release"
+    if: github.event_name == 'push' || github.event_name == 'release'
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
diff --git a/lkdev/workflows/docs.py b/lkdev/workflows/docs.py
index fa4c4e344..ee3811d5c 100644
--- a/lkdev/workflows/docs.py
+++ b/lkdev/workflows/docs.py
@@ -136,7 +136,7 @@ def job_publish_site():
         "name": "Publish documentation",
         "runs-on": "ubuntu-latest",
         "needs": ["archive"],
-        "if": 'github.event_name == "push" || github.event_name == "release"',
+        "if": "github.event_name == 'push' || github.event_name == 'release'",
         "environment": {"name": "github-pages", "url": "${{ steps.deployment.outputs.page_url }}"},
         "steps": [
             {