Skip to content

[Merged by Bors] - chore: use latest lean4checker #2138

[Merged by Bors] - chore: use latest lean4checker

[Merged by Bors] - chore: use latest lean4checker #2138

actionlint

succeeded Oct 14, 2024 in 10s