-
Achilleas Pipinellis authored
We're taking advantage of the pipelines for merge requests https://docs.gitlab.com/ee/ci/merge_request_pipelines/. This will result in a nicer URL which will be more informative than the previous one where a string of random characters was used.
124d1a3d