File tree 1 file changed +17
-0
lines changed
1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -97,6 +97,23 @@ 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
+
100
117
### 7: Create your PR!
101
118
102
119
When the feature or fix is completed you should open a [ Pull
You can’t perform that action at this time.
0 commit comments