Jakub Rusz e5d599d8ee ci: add Gitlab CI ... This is an inital commit that enables the use of Gitlab CI.		2021-06-30 19:54:37 +02:00
..
workflows	ci: add Gitlab CI	2021-06-30 19:54:37 +02:00
codecov.yml	ci: send coverage data to codecov	2020-12-10 16:14:37 +01:00