orchard/.github
Jack Grigg 8dbc5125c5 CI: Reduce noise of clippy lints
We move Clippy lints into separate workflows that only run either
directly on branches, or on trial-merges of PRs, to deduplicate the
lint annotations. We will still see stable lints duplicated in nightly,
but that's fine.
2021-05-04 09:18:30 +12:00
..
workflows CI: Reduce noise of clippy lints 2021-05-04 09:18:30 +12:00