Nerfed clippy in GitHub Workflows #51
Merged
meliurwen
merged 1 commits from 50-meta-make-clippy-less-pedantic-in-github-workflows
into dev
2 years ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch '50-meta-make-clippy-less-pedantic-in-github-workflows'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Description
See the issue related, what is done in the commits and in the changelog below.
Issues related
Merge into Dev Checklist
Changelog
clippy
nerfedREADME
(Optional) Extra info
None
Reviewers
3ff3dc564e
.