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

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

(limited to '.github')

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