Squash testing pipeline
The system tests of Dorie take about 50 minutes and are conducted three times for each pipeline. However, if system tests are only conducted for the main build, it might become difficult to discern the source of errors.
build:main: system tests
build:python3: system tests
build:update_dune: system tests
build:debug: build test
build:update_dune. Failing tests will need some more intricate investigation, however.
- always update Dune when building a Docker image. This makes it difficult to deal with bugs in the Dune release pipeline.