From 9e919ebb7bffcf72832523b5351acf2f5340b6e8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 14 Nov 2020 19:15:17 +0000
Subject: Add manual trigger for workflows

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 2326979..791c3f5 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -13,6 +13,7 @@ on:
       - "**.v"
       - "**.ml"
       - "**.mli"
+  workflow_dispatch
 
 jobs:
   build:
-- 
cgit