Merge branch 'remove-infer' into 'master'

Jenkins: remove infer

See merge request !9
0 jobs for master