# GitLab CI

March 2025: Jenkins is retired in favor of GitLab CI, so that code and pipelines live in the
same place. See [GitLab](../tools/gitlab.md).