"git@gitlab.inria.fr:openmp/clang.git" did not exist on "ed6563d96b882687a8bc08965345d65c99b2de5d"
Simplify the choice of the runtime system before integrating the new ones
Compare changes
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Simplifies the way we choose the runtime before integrating PR !106 (closed) and !108 (merged)