From 538f352a9654f8415943bbf55cef02252dfcbc1d Mon Sep 17 00:00:00 2001
From: Simon Schoelly <sischoel@gmail.com>
Date: Fri, 14 Feb 2025 14:55:02 +0100
Subject: [PATCH] Allow triggering ci workflow manually on Github

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e3942e3..0fe97e1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,6 +7,7 @@ on:
     branches:
       - master
     tags: '*'
+  workflow_dispatch:
 jobs:
   test:
     name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}