Commit e07bbe8
authored
ci: Remove check workflow and filter on branch name (#253)
Removes the check workflow and using it to deduplicate PRs and pushes:
CI should be run on all PRs and also on `main` branch: pushes to PRs are
already picked up by the pull_request filtering: "By default, a workflow
only runs when a pull_request event's activity type is opened,
synchronize, or reopened.", the definition of `synchronize` can be found
in the documentation: "A pull request's head branch was updated. For
example, the head branch was updated from the base branch or new commits
were pushed to the head branch."
E: TC believes someone at some point wanted CI to run on branches that
do not have open PRs, because when a PR is opened he gets notified
whether it is draft or not. This does require that now a draft PR is
opened for CI to run, but does anyone have a use case for running CI
against a branch without even a draft PR?1 parent 78cabc2 commit e07bbe8
File tree
5 files changed
+28
-49
lines changed- .github/workflows
- docs/explanations/decisions
- template/{% if git_platform=="github.com" %}.github{% endif %}/workflows
5 files changed
+28
-49
lines changedThis file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
5 | 9 | | |
6 | 10 | | |
7 | 11 | | |
8 | | - | |
9 | | - | |
10 | | - | |
11 | 12 | | |
12 | | - | |
13 | | - | |
14 | 13 | | |
15 | 14 | | |
16 | 15 | | |
17 | 16 | | |
18 | 17 | | |
19 | | - | |
20 | | - | |
21 | 18 | | |
22 | 19 | | |
23 | 20 | | |
| |||
26 | 23 | | |
27 | 24 | | |
28 | 25 | | |
29 | | - | |
30 | | - | |
31 | 26 | | |
32 | 27 | | |
33 | 28 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
Lines changed: 0 additions & 1 deletion
This file was deleted.
Lines changed: 0 additions & 12 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | | - | |
9 | | - | |
10 | 8 | | |
11 | 9 | | |
12 | | - | |
13 | | - | |
14 | 10 | | |
15 | 11 | | |
16 | 12 | | |
17 | 13 | | |
18 | 14 | | |
19 | | - | |
20 | | - | |
21 | 15 | | |
22 | 16 | | |
23 | 17 | | |
| |||
35 | 29 | | |
36 | 30 | | |
37 | 31 | | |
38 | | - | |
39 | | - | |
40 | 32 | | |
41 | 33 | | |
42 | 34 | | |
43 | 35 | | |
44 | 36 | | |
45 | 37 | | |
46 | | - | |
47 | | - | |
48 | 38 | | |
49 | 39 | | |
50 | 40 | | |
51 | | - | |
52 | | - | |
53 | 41 | | |
54 | 42 | | |
55 | 43 | | |
| |||
0 commit comments