Skip to content

Commit 27b9656

Browse files
authored
Stop running CI on push (#429)
Running CI on push and PR is wasteful: for PRs from `wasmtime/wasmtime-rb` branches, we end up running CI twice. The downside of this is that we can no longer have a CI run without a PR. But now that CI has draft PRs, it's not really a concern.
1 parent 6739d2a commit 27b9656

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

.github/workflows/ci.yml

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,6 @@ name: CI
33

44
on:
55
workflow_dispatch:
6-
push:
7-
branches: ["**"]
8-
tags-ignore: ["v**"] # Skip CI for releases
96
pull_request:
107

118
concurrency:

0 commit comments

Comments
 (0)