[CI] Do native tests with and without rv (!4) · Merge requests · HPC2SE-Project / pacxx · GitLab

Dr. Jorrit Fahlke requested to merge ci-rv-norv into master Sep 27, 2018

Adresses: https://gitlab.dune-project.org/joe/pacxx-docker/issues/26