Skip to content

Apply some tricks to speed up core lint.

Andreas Klebinger requested to merge wip/andreask/opt-core-lint into master

Prompted by #22200 (comment 454208)

Edited by Andreas Klebinger

Merge request reports