Martin von Zweigbergk cce2ca06e2 github: stop running nightly clippy ... It seems fine to wait for the clippy lints to graduate before we run them if we can save a bit of GitHub resources.		2022-05-03 15:41:03 -07:00
..
workflows	github: stop running nightly clippy	2022-05-03 15:41:03 -07:00
dependabot.yml	github: add a dependabot config	2022-03-16 21:09:01 -07:00
ISSUE_TEMPLATE.md	github: include version number in issue template again	2022-03-12 23:34:37 -08:00
PULL_REQUEST_TEMPLATE.md	github: add reminder in PR template about updating the changelog	2022-03-23 09:57:42 -07:00