Commit 08b7024d by Jun Matsushita

Merge branch 'ci-integration' into 'master'

Ci integration

See merge request !3
parents bda99b03 1c6ed4f9
Pipeline #2091 passed with stages
in 6 minutes 17 seconds