302 Commits (5933fe402fee7b6dd8ed937dae10ad10cdffdfbf)

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