Using citools package instead of bob devtools for the CI process (!68) · Merge requests · bob / bob.learn.em

André MAYORAZ requested to merge ci_with_citools into master Oct 03, 2022

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

Edited Oct 12, 2022 by Flavio TARSETTI

Using citools package instead of bob devtools for the CI process