Orasund/elm-ui-widgets
1
1
Fork 0
mirror of https://github.com/Orasund/elm-ui-widgets.git synced 2024-11-22 04:58:49 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #75 from orus-io/pr-template

Browse Source 
update the pull_request_template with the new explorer
This commit is contained in:
Orasund 2021-06-10 05:06:38 +02:00 committed by GitHub
commit c3144c1d1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/pull_request_template.md vendored
View File

@ -23,4 +23,4 @@ _Please only open Pull Requests for existing issues._
* [ ] run `elm-verify-examples && elm-test` to test the example * [ ] run `elm-verify-examples && elm-test` to test the example
**Optional:** **Optional:**
* [ ] Added an Example in `example/src/Example/[Your Widget].elm` * [ ] Added a Page in `explorer/src/Page/[Your Widget].elm` and added it to `explorer/src/Main.elm`