Skip to content

Using citools package instead of bob devtools for the CI process

André MAYORAZ requested to merge ci_with_citools into master

This is an adaptation to use the citools package instead of bob devtools to process the ci step in a goal to optimize it.

Closes #46 (closed)

Edited by Flavio TARSETTI

Merge request reports