ruff
More CI improvements
#20920
Merged
Overview
Commits
1
Changes
View On GitHub

More CI improvements #20920

AlexWaygood merged 1 commit into main from alex/ci-improvements
AlexWaygood
AlexWaygood More CI improvements
a9be6949
AlexWaygood AlexWaygood added ci
MichaReiser
MichaReiser approved these changes on 2025-10-16
github-actions
AlexWaygood AlexWaygood merged a67e0690 into main 150 days ago
AlexWaygood AlexWaygood deleted the alex/ci-improvements branch 150 days ago
github-actions

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ci
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum