Merge branch 'update-ci' into 'master'
Simplifies the CI of this package by re-using definitions in bob/bob.devtools (bdt) See merge request !50
Please register or sign in to comment
Simplifies the CI of this package by re-using definitions in bob/bob.devtools (bdt) See merge request !50