From a3f7b6d14a7738740d37349297b4638b1b9214d2 Mon Sep 17 00:00:00 2001
From: Romain Franceschini <franceschini.romain@gmail.com>
Date: Sat, 22 May 2021 11:16:55 +0200
Subject: [PATCH] ci: add workflow_dispatch event

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

diff --git a/.github/workflows/crystal.yml b/.github/workflows/crystal.yml
index 70d5069..8c33c4b 100644
--- a/.github/workflows/crystal.yml
+++ b/.github/workflows/crystal.yml
@@ -7,6 +7,7 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
+  workflow_dispatch:   
 
 jobs:
   build: