Add profiling checkbox to PR Checklist. (https://github.com/enso-org/ide/pull/416)

Original commit: d9ca410246
This commit is contained in:
Michael Mauderer 2020-05-27 12:55:18 +02:00 committed by GitHub
parent e58c16735a
commit 71bc491b28

View File

@ -16,4 +16,5 @@ Please include the following checklist in your PR:
- [ ] The documentation has been updated if necessary.
- [ ] All code conforms to the [Rust](https://github.com/luna/enso/blob/master/doc/rust-style-guide.md), [Scala](https://github.com/luna/enso/blob/master/doc/scala-style-guide.md), [Java](https://github.com/luna/enso/blob/master/doc/java-style-guide.md) or [Haskell](https://github.com/luna/enso/blob/master/doc/haskell-style-guide.md) style guides as appropriate.
- [ ] All code has been tested where possible.
- [ ] All code has been profiled where possible.