]> Nishi Git Mirror - gwion.git/commitdiff
projects / gwion.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 59a8ac0)
Improve CI
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 30 Sep 2020 20:05:39 +0000 (22:05 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 30 Sep 2020 20:05:39 +0000 (22:05 +0200)
.github/workflows/build.yml patch | blob | history

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 66d76aad1f1f0b4b6ab88616a2980e1d574ab99c..6780465e591a5a6f33cfa6cde7c497c19c85d7a0 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,6 +1,7 @@
 name: CI
 
-on: [push]
+on:
+  [push, workflow_dispatch, repository_dispatch]
 
 jobs:
   build:
strongly-timed musical programming language