From a0cb7b1ab1148830575d8d41c0999ce302eeef24 Mon Sep 17 00:00:00 2001 From: Daniel Tschinder Date: Fri, 19 Jul 2019 15:46:51 +0200 Subject: [PATCH] Rename github action --- .github/main.workflow | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/.github/main.workflow b/.github/main.workflow index 7c24b0a743..e0b5c16808 100644 --- a/.github/main.workflow +++ b/.github/main.workflow @@ -58,16 +58,13 @@ workflow "Welcome comment" { resolves = ["Create Comment"] } -action "Filters for GitHub Actions" { +action "Is action 'opened'" { uses = "actions/bin/filter@0dbb077f64d0ec1068a644d25c71b1db66148a24" args = "action opened" } action "Create Comment" { uses = "babel/actions/create-welcome-comment@master" - needs = ["Filters for GitHub Actions"] secrets = ["GITHUB_TOKEN", "BOT_TOKEN"] -}# GitHub actions are too slow for this, it takes more than 15 mins. -# Publishing to npm from GH actions is a cool idea, but it's a lot faster to -# publish locally. -# "Publish to npm", + needs = ["Is action 'opened'"] +}