diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index cfbaaae..30caa3d 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,14 +1,20 @@ # Pull request checklist - [ ] The PR has a proper title. Use [Semantic Commit Messages](https://seesparkbox.com/foundry/semantic_commit_messages). (No more branch-name title please) -- [ ] Make sure you are requesting the right branch: `dev`. - [ ] Make sure this is ready to be merged into the relevant branch. Please don't create a PR and let it hang for a few days. -- [ ] Ensure all tests are passing. -- [ ] Ensure linting is passing. +- [ ] Ensure you can run the codes you submitted succesfully. These submissions will be prioritized for review: + + Introduce improvements in program execution speed; + + Introduce improvements in synthesis quality; + + Fix existing bugs reported by user feedback (or you met); + + Introduce more convenient user operations. # PR type -- Bug fix / new feature / chore +- Bug fix / new feature / synthesis quality improvement / program execution speed improvement # Description