Merge branch 'ci-rv-norv' into 'master' Adresses: [#26] See merge request [joe/pacxx-docker!69] [#26]: gitlab.dune-project.org/joe/pacxx-docker/issues/26 [joe/pacxx-docker!69]: gitlab.dune-project.org/joe/pacxx-docker/merge_requests/69