Skip to content

CI improvements

Manuel Guth requested to merge mguth-ci-improvements into master

This MR

  • fixes pylint, which started to fail after !418 (merged)
  • updates until test CI definition making it easier
  • updates CI for pushing to hub removing unnecessary duplication
Edited by Manuel Guth

Merge request reports