merge existing projects

Due to a serious security issue affecting the Linux kernel, we have stopped our public GitLab runners. The jobs relying on them will not be run. We currently cannot give an ETA as to when they will be back online. In the meantime, you may host your own runners following the official documentation : https://docs.gitlab.com/runner/

This project is archived. Its data is read-only. This project is read-only.

Admin message