Drop gitlab support#1052

Open

tmcgilchrist wants to merge 5 commits into

ocurrent:masterfrom

tmcgilchrist:drop_gitlab

Commits on May 28, 2026

Remove gitlab pipeline configuration.

tmcgilchrist
authored and
mtelvers
committed
Remove gitlab web-ui

tmcgilchrist
authored and
mtelvers
committed
Remove gitlab service and ocaml-ci-gitlab package.

tmcgilchrist
authored and
mtelvers
committed
Remove GitLab references in web-ui documentation

tmcgilchrist
authored and
mtelvers
committed
Remove leftover GitLab references
mtelvers
committed