Commit c7771b4a authored by Valentin Reis's avatar Valentin Reis

Merge branch 'ci-pointer' into 'master'

[ci] moves CI back to `master` after a coordinated libnrm+nrm update.

See merge request !91
parents 9b2d4452 21c15ee5
Pipeline #7329 passed with stages
in 34 minutes