We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d53c237 commit 760541cCopy full SHA for 760541c
docs/_docs/contributing/sending-in-a-pr.md
@@ -114,6 +114,15 @@ Below are commonly used ones:
114
| `[skip community_build_a]`| Skip the "a" community build |
115
| `[skip docs]` | Skip the scaladoc tests |
116
117
+#### Making sure every commit triggers a new run
118
+
119
+By default the Dotty CI will cancel your previous runs if you push a new commit.
120
+This helps make sure the CI keeps moving without getting stuck running a ton of
121
+jobs if you push multiple times in a row. _However_, there are times you may
122
+want to run every commit. To do this, make sure your PR body contains `[no
123
+cancel]`. This will ensure that there are no cancellations of your previous
124
+runs.
125
126
### 7: Create your PR!
127
128
When the feature or fix is completed you should open a [Pull
0 commit comments