Skip to content

Commit

Permalink
add pr template
Browse files Browse the repository at this point in the history
  • Loading branch information
jchavarri committed Oct 17, 2023
1 parent dd36f00 commit 0d9b05a
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions .github/pull_request_template.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
## Pull Request Checklist

Before you submit your pull request with a new example, please make sure you have completed the following tasks:

- [ ] **Update Makefile:** Make sure the new example is included in the following Makefile commands:
- [ ] `install`
- [ ] `build`
- [ ] `test`
- [ ] `clean`

- [ ] **Update opam file:** Ensure the new example is added to the list of dependencies in the `opam` file.

- [ ] **Update README:** Add a link to the new example in the README. Provide a brief description if necessary.

## Description

Please replace this section to provide a brief description of the example you are creating with this pull request.

## Additional Notes

Add any additional information or notes here.

0 comments on commit 0d9b05a

Please sign in to comment.