shithub: rgbds

Info  •  Files  •  Log  •  Branches

Fix master docs update CI script

GitHub documentation about the syntax is unclear, this should be right
according to the examples I saw.

--- a/.github/workflows/update-master-docs.yml

+++ b/.github/workflows/update-master-docs.yml

@@ -17,7 +17,7 @@

 jobs:

   build:

-    if: ${{ secrets.SSH_KEY_SECRET }} != ${{ '' }}

+    if: secrets.SSH_KEY_SECRET != ''

     runs-on: ubuntu-18.04

     steps:

       - name: Checkout rgbds@master