3 commits

Author	SHA1	Message	Date
Achilleas Koutsou	e869c6ab84	schutzbot: keep runners alive when users are logged on ... For troubleshooting in CI, if a user is logged on to a runner, keep it alive until they are logged off.	2022-02-27 12:52:43 +01:00
Alexander Todorov	648bf26fca	tests: Don't overwrite CI statuses on GitHub branched for nightly pipelines ... Closes #1527.	2021-07-14 12:12:48 +02:00
Ondřej Budai	260fdb053f	ci: add GitLab CI ... This commit adds an experimental GitLab-based CI. See the PR for more information. Signed-off-by: Ondřej Budai <ondrej@budai.cz>	2021-04-14 09:18:06 +02:00