From 250b92a48463521e7269bee72941914129f5238b Mon Sep 17 00:00:00 2001
From: Pieter Verschaffelt <pieter.verschaffelt@ugent.be>
Date: Thu, 1 Sep 2022 14:47:43 +0200
Subject: [PATCH] Add workflow_dispatch to Linux action

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

diff --git a/.github/workflows/publish_linux.yml b/.github/workflows/publish_linux.yml
index 1d42621a..86013d40 100644
--- a/.github/workflows/publish_linux.yml
+++ b/.github/workflows/publish_linux.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
 
 jobs:
   release_linux: