Now on github, we should review the CI system and think about any future tasks. This relates to #2862 .
Now on github, we should review the CI system and think about any future tasks. This relates to #2862 .