From c187236c5f7b1494a85974ce93b6d9a07f0265fe Mon Sep 17 00:00:00 2001
From: Jo Van Bulck <jo.vanbulck@cs.kuleuven.be>
Date: Thu, 2 Jan 2025 17:36:09 +0100
Subject: [PATCH] ci: add manual trigger

---
 .github/workflows/docker.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 61f08f1..27381ca 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -5,6 +5,8 @@ on:
   push:
     branches:
       - master
+  # Run on manual trigger
+  workflow_dispatch:
   # Run on pull requests (automatically uses PR in docker name)
   pull_request:
   # trigger a cron job every monday at 6am