Merge pull request #1534 from apache/juerg/ci

juergbi · web-flow · commit 2b99a027fe42 · 2021-11-04T10:53:59.000+01:00
.github/workflows/ci.yml: Drop push trigger, add workflow_dispatch
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,8 +4,8 @@ name: PR Checks
 # redundant, we avoid concurrency with the below configuration.
 #
 on:
-  push:
   pull_request:
+  workflow_dispatch:
 
 # Use the concurrency feature to ensure we don't run redundant workflows
 #

Original file line number	Diff line number	Diff line change
`@@ -4,8 +4,8 @@ name: PR Checks`
`4`	`4`	`# redundant, we avoid concurrency with the below configuration.`
`5`	`5`	`#`
`6`	`6`	`on:`
`7`		`- push:`
`8`	`7`	`pull_request:`
	`8`	`+ workflow_dispatch:`
`9`	`9`
`10`	`10`	`# Use the concurrency feature to ensure we don't run redundant workflows`
`11`	`11`	`#`