3 Commits (d43c7cce44605a22a02b73fbe93b1794001178a6)

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