Skip to content

ci: bump the mordant pin (sixteen new lints) and record their baseline - #38846

Merged
alii merged 1 commit into
mainfrom
ali/bump-mordant-16-lints
Aug 15, 2026
Merged

alii merged 1 commit into
mainfrom
ali/bump-mordant-16-lints

ci: bump the mordant pin to the sixteen new lints and record their ba…

9afc54c
Select commit
Loading
Failed to load commit list.