SIGN IN SIGN UP

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

merges all PR CI jobs into one workflow, which allows gating and
conditionals.

Also makes all workflows conditional on basic code quality checks to
avoid unnecessary runs.
F
Franz Király committed
8a0bb50ca77a1ad02e0afc36afaa811ebdd62d86
Parent: e3036da
Committed by GitHub <noreply@github.com> on 11/14/2025, 8:18:53 PM