From 2b2f6c787c7af32304a68b12c5cae16ad3bb6293 Mon Sep 17 00:00:00 2001
From: Denis Rouzaud <denis.rouzaud@gmail.com>
Date: Mon, 19 Feb 2024 09:37:49 +0100
Subject: [PATCH] fix

---
 .github/workflows/website.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
index d5613569..aef6037b 100644
--- a/.github/workflows/website.yml
+++ b/.github/workflows/website.yml
@@ -82,7 +82,7 @@ jobs:
             echo "no change mkdocs.yml"
           else
             echo "detected changes in mkdocs.yml"
-            if [[ ${{ github.event_name } == "pull_request" ]]; then
+            if [[ ${{ github.event_name }} == "pull_request" ]]; then
               # on PR push to the same branch
               gh pr checkout ${{ github.event.pull_request.number }}
               git add mkdocs.yml