Use the following template for the PR title and delete this line: [WIP] Title of the thesis/work/target
- Start and end date:
- Contributor:
- Supervisor:
- Ensure that you followed our toolchain guide.
- Branch name checked. That means, the branch name starts with
thesis/,fix/, ... - Ensure that the commit message is a good commit message
- Ensure to use auto format in all files
- Ensure that you appear in
NOTICEat Copyright Holders - Tests created for changes
- Documentation updated (if needed)
- Screenshots added (for UI changes)