Skip to content

[MNT] merge all PR CI jobs into one workflow#673

Merged
fkiraly merged 1 commit intomainfrom
merge-CI
Nov 14, 2025
Merged

[MNT] merge all PR CI jobs into one workflow#673
fkiraly merged 1 commit intomainfrom
merge-CI

Commits

Commits on Nov 14, 2025