This repository has been archived on 2023-02-05. You can view files and clone it, but cannot push or open issues or pull requests.

Wojciech Kozlowski 602b85f5a5 Use a dedicated domain for the registry		2018-12-10 22:11:20 +00:00
..
docker	Use a dedicated domain for the registry	2018-12-10 22:11:20 +00:00
main	Use a dedicated domain for the registry	2018-12-10 22:11:20 +00:00
Dockerfile	Split runner into two	2018-01-25 21:21:17 +00:00
pin-gitlab-runner.pref	Add a runner image for GitLab	2018-01-23 00:05:04 +00:00
script.deb.sh	Add a runner image for GitLab	2018-01-23 00:05:04 +00:00