Skip to content

Commit

Permalink
Backport "docs: add in some notes on how to skip tests in the contrib…
Browse files Browse the repository at this point in the history
…uting docs #17925" to LTS (#18984)

Backports #17926 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
  • Loading branch information
Kordyjan authored Nov 21, 2023
2 parents 7529723 + b99a874 commit 287a32d
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions docs/_docs/contributing/sending-in-a-pr.md
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,23 @@ Here is the body of your pr with some more information
Closes #2
```

#### Skipping parts of CI

Depending on what your PR is addressing, sometimes it doesn't make sense to run
every part of CI. For example, maybe you're just updating some documentation and
there is no need to run the community build for this. We skip parts of the CI by
utilizing keywords inside of brackets. The most up-to-date way to see this are
by looking in the `if` statements of jobs. For example you can see some
[here](https://github.com/lampepfl/dotty/blob/5d2812a5937389f8a46f9e97ab9cbfbb3f298d87/.github/workflows/ci.yaml#L54-L64).
Below are commonly used ones:


|---------------------------|---------------------------------|
| `[skip ci]` | Skip the entire CI |
| `[skip community_build]` | Skip the entire community build |
| `[skip community_build_a]`| Skip the "a" community build |
| `[skip docs]` | Skip the scaladoc tests |

### 7: Create your PR!

When the feature or fix is completed you should open a [Pull
Expand Down

0 comments on commit 287a32d

Please sign in to comment.