152 Commits (c900bce1b08e28edb777a5e9032d241c52bb1a2c)

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