Heikki Linnakangas 797aa4ffaa Skip running clippy in --release mode. (#9073) ...

It's pretty expensive to run, and there is very little difference
between debug and release builds that could lead to different clippy
warnings.

This is extracted from PR #8912. That PR wandered off into various
improvements we could make, but we seem to have consensus on this part
at least.

2024-09-20 17:22:58 +03:00

..

actions

CI(promote-compatibility-data): fix job (#8871)

2024-08-30 13:18:30 +01:00

ISSUE_TEMPLATE

.github: direct feature requests to the feedback form (#8849)

2024-08-28 09:22:19 +01:00

PULL_REQUEST_TEMPLATE

Migrate links from wiki to notion (#5862)

2023-11-14 15:36:47 +00:00

workflows

Skip running clippy in --release mode. (#9073)

2024-09-20 17:22:58 +03:00

actionlint.yml

push images to prod ACR (#8940)

2024-09-07 00:20:36 +01:00

pull_request_template.md

Simplify github PR template (#4241)

2023-05-16 08:13:54 -04:00