Dennis Kobert 858efb65bb Post Clippy warnings as PR comments (#1926) ...

* Post clippy warnings as comment to pr

* Fix errors

* Test

* Install deps

* Add collapsed section to output

* Add proper code block formatting for warnings

* Delete previous pr comments

2024-08-14 10:48:28 +00:00

..

workflows

Post Clippy warnings as PR comments (#1926)

2024-08-14 10:48:28 +00:00

FUNDING.yml

Update funding info on website

2023-11-04 05:52:28 -07:00

pull_request_template.md

Add a pull request template so GitHub reminds to reference issue numbers

2021-07-10 13:58:54 -07:00