152 Commits (15d6bbb47c3a33f98d33377d95bf7e69c46565fa)

Author SHA1 Message Date
Willem Melching 0319861700
Jenkins pipeline to create master-ci (#1019) 6 years ago
Willem Melching 7f813d23ce cleanup and make linting part of ci work 6 years ago