From 9ba1ee51ea94dea7e68ab60416a289a6e8791084 Mon Sep 17 00:00:00 2001
From: reppad <reppad@users.noreply.github.com>
Date: Mon, 26 Aug 2024 16:53:52 +0200
Subject: [PATCH] Allow manually run `push` workflow to regenerate expired
 artifacts

---
 .github/workflows/push.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 6bf2608..1ad4bd6 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,5 +1,6 @@
 on:
   push:
+  workflow_dispatch:
 
 jobs:
   build: