From de693c419121ebb7b93cd97d1e7b8c1f9db8041a Mon Sep 17 00:00:00 2001
From: Callum Tait <15716903+toast-gear@users.noreply.github.com>
Date: Sat, 18 Jun 2022 09:34:40 +0100
Subject: [PATCH] ci: runners trigger on push (#1549)

* ci: runners trigger on push

* ci: comments

* ci: comments
---
 .github/workflows/runners.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/runners.yaml b/.github/workflows/runners.yaml
index 9774e24a..50e11d2d 100644
--- a/.github/workflows/runners.yaml
+++ b/.github/workflows/runners.yaml
@@ -6,7 +6,6 @@ on:
       - opened
       - synchronize
       - reopened
-      - closed
     branches:
       - 'master'
     paths:
@@ -14,6 +13,11 @@ on:
       - '!runner/Makefile'
       - '.github/workflows/runners.yaml'
       - '!**.md'
+  # We must do a trigger on a push: instead of a types: closed so GitHub Secrets 
+  # are available to the workflow run
+  push:
+    branches:
+      - 'master'
 
 env:
   RUNNER_VERSION: 2.293.0