Upstream GitLab merge (!407) · Merge requests · heptapod / heptapod

Georges Racinet requested to merge topic/heptapod/upstream-merge into branch/heptapod Sep 24, 2022

Target upstream changeset selected automatically, again as the first non-conflicting one that changes GITLAB_SHELL_VERSION, giving us something to do manually.

This is the first MR to be validated with the downstream pipelines of #699 (closed)

Upstream GitLab merge

Merge request reports