Commit 40fcd50
revert: "ci: don't run on push"
This reverts commit d1369fc.
The reasoning is provided by @justinmk in
#122 (comment):
It's good to save CI time, but for low-activity repos I think we should
err on the side of explicitness.
Reasons in favor of CI on push:
- to have a baseline, so one can see the history of status checks by looking at master (including squash-merged PRs)
- for any (rare) commits that skip the PR process
Without this, we don't have a clear concept of "current status", except
whatever the last PR was (which also assumes a linear history).1 parent d1369fc commit 40fcd50
1 file changed
+9
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
| 4 | + | |
| 5 | + | |
4 | 6 | | |
| 7 | + | |
5 | 8 | | |
6 | 9 | | |
7 | 10 | | |
8 | 11 | | |
9 | 12 | | |
10 | 13 | | |
11 | 14 | | |
| 15 | + | |
12 | 16 | | |
13 | | - | |
14 | | - | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
0 commit comments