Jenkins is also supported: see the pipeline and local setup guide. GitHub Actions remains available; the local Jenkins job is manually triggered. Jenkins validation (2026-09-16): the first local build ...