diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 0000000..d0f00cd --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,14 @@ +## Description of the changes + + + + +## Type of change +- [ ] Bug fix (non-breaking change which fixes an issue) +- [ ] New feature (non-breaking change which adds functionality) +- [ ] Formal verification +- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected) +- [ ] Refactorization (non-breaking change which improves code quality) + +## How to test this PR? +