diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2020-03-04 00:02:04 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-04 00:02:04 -0500 |
commit | 111eb420646d84ec8cb5d8ca048e516b2ef8391f (patch) | |
tree | 38301a9ca4bf558de8f11c3db9b8707ce0ba081d /.github | |
parent | e8f6896c23aa176d9247e24e03b1f1f2e5de8ea3 (diff) |
[skip travis] Add another bit to the PR template
Diffstat (limited to '.github')
-rw-r--r-- | .github/pull_request_template.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index d25908ef..c0ed35fc 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -20,6 +20,14 @@ _Remove the irrelevant one:_ _Please state how this was tested:_ + + +_Please tick which platforms this change was tested on:_ + +- [ ] Windows +- [ ] macOS +- [ ] Linux + ## Checklist _Please ensure all are ticked (and actually done):_ |