PR #21198 make lit CI as required

make lit CI as required #21198

tchaton merged 1 commit into master from ci-required-lit

make lit CI as required

323848f2

Borda requested a review from

lantiga 253 days ago

Borda requested a review from

tchaton 253 days ago

Borda requested a review from

justusschock 253 days ago

Borda requested a review from

ethanwharris 253 days ago

github-actions added ci

tchaton approved these changes on 2025-09-11

tchaton merged da0e6464 into master 253 days ago

tchaton deleted the ci-required-lit branch 253 days ago

Reviewers

tchaton

lantiga

justusschock

ethanwharris

Assignees

No one assigned

Labels

Milestone

No milestone