Skip to content

ci: use full weeklyLintSet and mathlib-ci - #488

Merged
chenson2018 merged 1 commit into
mainfrom
weekly-lint-set
Apr 13, 2026
Merged

ci: use full weeklyLintSet and mathlib-ci#488
chenson2018 merged 1 commit into
mainfrom
weekly-lint-set

feat: use full weeklyLintSet and mathlib-ci

e9047ea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar