Skip to content
Snippets Groups Projects

Using citools package instead of bob devtools for the CI process

Merged Using citools package instead of bob devtools for the CI process
ci_with_citools into master
Merged André MAYORAZ requested to merge ci_with_citools into master