shithub: rgbds

Download patch

ref: 2cc58723cb24c785735f19449f515912118c87c0
parent: 268219d74efea33dca8b74ceb2ea11c4b05f1bb7
author: ISSOtm <[email protected]>
date: Mon Sep 21 20:56:14 EDT 2020

Do not try updating docs if no key is set

This will avoid this randomly failing in forks, unless we want to run it

--- a/.github/workflows/update-master-docs.yml
+++ b/.github/workflows/update-master-docs.yml
@@ -16,6 +16,7 @@
 
 jobs:
   build:
+    if: ${{ secrets.SSH_KEY_SECRET }} != ${{ '' }}
     runs-on: ubuntu-18.04
     steps:
       - name: Checkout rgbds@master