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
..
workflows	ci: add GitLab CI	2021-04-14 09:18:06 +02:00
PULL_REQUEST_TEMPLATE.md	github: mention the guides in the pull request template	2021-04-02 14:13:40 +02:00