Martin von Zweigbergk f112b5225c github: use minimal profile for clippy actions ... We should only need the `minimal` profile. Also, we already have configured the action to use the `clippy` component, so I don't think we need to explicitly add it with a separate `run` action.		2022-03-07 22:16:57 -08:00
..
workflows	github: use minimal profile for clippy actions	2022-03-07 22:16:57 -08:00
ISSUE_TEMPLATE.md	github: put repro steps first in issue template	2022-03-01 23:25:41 -08:00
PULL_REQUEST_TEMPLATE.md	github: update PR template to explain expectations	2022-03-02 08:11:31 -08:00