Jakub Rusz 803c698f9a ci: Remove Jenkins in favor of Gitlab CI ... Jenkinsfile and the trigger are no longer neccessary since we're moving all testing to Gitlab CI.		2021-06-30 19:54:37 +02:00
..
workflows	ci: Remove Jenkins in favor of 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