Skip to content

CI: disable the remaining Cirrus jobs now that the service is gone#5887

Merged
martin-frbg merged 1 commit into
OpenMathLib:developfrom
martin-frbg:disable_cirrusci
Jul 5, 2026
Merged

CI: disable the remaining Cirrus jobs now that the service is gone#5887
martin-frbg merged 1 commit into
OpenMathLib:developfrom
martin-frbg:disable_cirrusci

Commits

Commits on Jul 5, 2026