3 Commits (379c4547a6a847c2a1921a62b05b5aced5e754ed)

Author	SHA1	Message	Date
Christian Merten	133ddb6163	ci: collect coverage report	3 years ago
Christian Merten	207614a0ac	ci: update jenkinsfile	3 years ago
Christian Merten	c9c82cafd4	ci: add initial Jenkinsfile	3 years ago