@@ -97,6 +97,25 @@ Here is the body of your pr with some more information
97
97
Closes #2
98
98
```
99
99
100
+ #### Skipping parts of CI
101
+
102
+ Depending on what your PR is addressing, sometimes it doesn't make sense to run
103
+ every part of CI. For example, maybe you're just updating some documentation and
104
+ there is no need to run the community build for this. We skip parts of the CI by
105
+ utilizing keywords inside of brackets. The most up-to-date way to see this are
106
+ by looking in the ` if ` statements of jobs. For example you can see some
107
+ [ here] ( https://github.com/lampepfl/dotty/blob/5d2812a5937389f8a46f9e97ab9cbfbb3f298d87/.github/workflows/ci.yaml#L54-L64 ) .
108
+ Below are commonly used ones:
109
+
110
+
111
+ | ---------------------------| ---------------------------------|
112
+ | ` [skip ci] ` | Skip the entire CI |
113
+ | ` [skip community_build] ` | Skip the entire community build |
114
+ | ` [skip community_build_a] ` | Skip the "a" community build |
115
+ | ` [skip docs] ` | Skip the scaladoc tests |
116
+
117
+
118
+
100
119
### 7: Create your PR!
101
120
102
121
When the feature or fix is completed you should open a [ Pull
@@ -109,7 +128,7 @@ of your pr title to make this extra clear.
109
128
110
129
Shortly after creating your pull request a maintainer should assign someone to
111
130
review it. If this doesn't happen after a few days, feel free to ping someone on
112
- the [ Scala Contributors Discor ] [ discord ] or tag someone on the PR. Depending on
131
+ the [ Scala Contributors Discord ] [ discord ] or tag someone on the PR. Depending on
113
132
the type of pull request there might be multiple people that take a look at your
114
133
changes. There might also be community input as we try to keep the review
115
134
process as open as possible.
0 commit comments