Merge pull request #188 from CatalaLang/self-hosted-ci-2

Better dispatching of full build CI
CatalaLang · Feb 3, 2022 · 1dae73b · 1dae73b
2 parents b71e23d + ba8d3df
commit 1dae73b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,12 +3,10 @@ name: FullBuildCI
 on:
   push:
     branches: [master]
-  issue_comment:
-    types: [created, edited, deleted]
+  workflow_dispatch:
 
 jobs:
   build-nix-21-05:
-    if: contains(github.event.comment.html_url, '/pull/') && contains(github.event.comment.body, '+build')
     runs-on: ubuntu-latest
     steps:
       - uses: actions/[email protected]
@@ -20,7 +18,6 @@ jobs:
       - run: nix-shell --run "echo OK"
 
   build-nix-unstable:
-    if: contains(github.event.comment.html_url, '/pull/') && contains(github.event.comment.body, '+build')
     runs-on: ubuntu-latest
     steps:
       - uses: actions/[email protected]