Skip to content

Commit a2bdc16

Browse files
committed
Always run CI (#453)
I find the current `bors` workflow a bit tedious. Most of the time, I summon `bors` to see the CI results (see e.g. #438). Given that most `CI` tests are quick (< 10mins), we can always run them by default. The most time-consuming `IntegrationTests` is still run by `bors` to avoid excessive CI runs.
1 parent 740dca5 commit a2bdc16

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

.github/workflows/CI.yml

+3
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@ on:
99
- trying
1010
# Build the master branch.
1111
- master
12+
pull_request:
13+
branches:
14+
- master
1215

1316
jobs:
1417
test:

0 commit comments

Comments
 (0)