2023-08-21 13:06:35 +00:00
|
|
|
---
|
|
|
|
|
|
|
|
|
|
name: "Pull Request"
|
2024-06-02 11:31:56 +00:00
|
|
|
about: "Basic pull request template"
|
2023-08-21 13:06:35 +00:00
|
|
|
ref: "master"
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
|
2024-06-02 11:31:56 +00:00
|
|
|
<!-- If your PR is not ready to merge/review, you can add a `WIP: ` prefix to the title. -->
|
|
|
|
|
<!--
|
|
|
|
|
This template is just a suggestion, and is commented out using HTML comment syntax.
|
|
|
|
|
It will not show up in your PR text unless you remove the comment markers.
|
|
|
|
|
-->
|
2023-08-21 13:06:35 +00:00
|
|
|
|
2024-06-02 11:31:56 +00:00
|
|
|
<!--
|
2023-08-21 13:06:35 +00:00
|
|
|
|
2024-06-02 11:31:56 +00:00
|
|
|
## Summary of the PR
|
2023-08-26 08:31:13 +00:00
|
|
|
|
2024-06-02 11:31:56 +00:00
|
|
|
Changes introduced in this PR.
|
2023-08-21 13:06:35 +00:00
|
|
|
|
|
|
|
|
|
2024-06-02 11:31:56 +00:00
|
|
|
## Requirements
|
|
|
|
|
|
|
|
|
|
Before submitting your PR, please make sure you have addressed the following
|
|
|
|
|
requirements:
|
|
|
|
|
|
|
|
|
|
* [ ] All commits in this PR are signed (with `git commit -s`), and the commit
|
|
|
|
|
has a message describing the motivation behind the change, if
|
|
|
|
|
appropriate.
|
|
|
|
|
* [ ] All added/changed public-facing functionality, especially configuration
|
|
|
|
|
options, are documented in the manual pages.
|
2023-08-21 13:06:35 +00:00
|
|
|
* [ ] Any newly added `unsafe` code is properly documented.
|
2024-06-02 11:31:56 +00:00
|
|
|
* [ ] Each commit has been formatted with `rustfmt`. Run `make fmt` in the
|
|
|
|
|
project root.
|
|
|
|
|
* [ ] Each commit has been linted with `clippy`. Run `make lint` in the project
|
|
|
|
|
root.
|
|
|
|
|
* [ ] Each commit does not break any test. Run `make test` in the project root.
|
|
|
|
|
If you have `cargo-nextest` installed, you can run `cargo nextest run
|
|
|
|
|
--all --no-fail-fast --all-features --future-incompat-report` instead.
|
|
|
|
|
|
|
|
|
|
-->
|
