Improve the CI systems tests
Summary
Currently all commits in dune-common trigger a pipeline in the https://gitlab.dune-project.org/infrastructure/dune-nightly-test repository to test downstream modules. It runs the pipeline on the branch core
that contains only the core modules in a few compiler configurations. This MR proposes to 1. provide a trigger for the full-system test as well and 2. make the downstream pipelines a job that can be manually started.
Discussion
- Is there a pipeline that should run on all commits? --> no
- Do we want to require that a specific pipeline succeeds before we can merge into master? --> yes: core-modules
- Do we want to run both, the core-modules and the full-system pipeline? --> (yes): allow both to be run manually, system-test has "allow_failure"
Edited by Simon Praetorius