From be8ebe6db92a0acd483d5023a57912b63e8c3144 Mon Sep 17 00:00:00 2001
From: ISSOtm <eldredhabert0@gmail.com>
Date: Thu, 24 Sep 2020 16:41:23 +0200
Subject: [PATCH] Fix master docs update CI script

GitHub documentation about the syntax is unclear, this should be right
according to the examples I saw.
---
 .github/workflows/update-master-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/update-master-docs.yml b/.github/workflows/update-master-docs.yml
index 2b7c1953..ccc78a77 100644
--- a/.github/workflows/update-master-docs.yml
+++ b/.github/workflows/update-master-docs.yml
@@ -17,7 +17,7 @@ on:
 
 jobs:
   build:
-    if: ${{ secrets.SSH_KEY_SECRET }} != ${{ '' }}
+    if: secrets.SSH_KEY_SECRET != ''
     runs-on: ubuntu-18.04
     steps:
       - name: Checkout rgbds@master