Chris Glass 14ec8d6760 Add a github action checking for clippy		2026-04-10 18:42:34 +02:00
..
workflows	Add a github action checking for clippy	2026-04-10 18:42:34 +02:00
PULL_REQUEST_TEMPLATE.md	Add pull request template	2026-02-13 12:35:27 -07:00