This repository was archived by the owner on Jan 19, 2025. It is now read-only.
Commit ee556f8
authored
ci: remove merge queue workflows (#1280)
### Summary of Changes
We have some checks that should be a requirement before PRs can be added
to a merge queue:
* dependency review
* check title
* lint
Naturally, the code should also build. In the merge queue itself, we
only need to verify again that the code still builds as previous PRs get
merged in. Checking the title of the PR again, for example, is a waste
of time since it cannot have changed.
However, this cannot be realized since checks that are marked as
required must be run in the merge queue and on pull request events.
Conclusion: With our current throughput, a merge queue just slows us
down.1 parent a76d2f9 commit ee556f8
File tree
4 files changed
+0
-99
lines changed- .github/workflows
4 files changed
+0
-99
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
7 | 6 | | |
8 | 7 | | |
9 | 8 | | |
10 | | - | |
11 | 9 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
7 | 6 | | |
8 | 7 | | |
9 | 8 | | |
10 | | - | |
11 | 9 | | |
12 | 10 | | |
13 | 11 | | |
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | | - | |
11 | 10 | | |
12 | 11 | | |
13 | 12 | | |
14 | | - | |
15 | 13 | | |
0 commit comments