Rename github action

This commit is contained in:
Daniel Tschinder 2019-07-19 15:46:51 +02:00 committed by GitHub
parent 0b886418c8
commit a0cb7b1ab1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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'"]
}