Emil Ernerfeldt 5b462197fa Improve instructions in PR template

2021-05-20 22:07:02 +02:00

..

ISSUE_TEMPLATE

GitHub issue templates: add reminder to check for duplicates

2021-05-20 21:47:17 +02:00

workflows

Run clippy on all targets and all features (#347)

2021-05-02 19:26:57 +02:00

pull_request_template.md

Improve instructions in PR template

2021-05-20 22:07:02 +02:00