Revert "Merge branch 'feature/remove-venv-dune-common-dependency' into 'master'"
Merged
Revert "Merge branch 'feature/remove-venv-dune-common-dependency' into 'master'"
revert-9c84e06b
into
master
All threads resolved!
All threads resolved!
This reverts merge request !1162 (merged)
Merge request reports
Activity
assigned to @andreas.dedner
- Resolved by Santiago Ospina De Los Ríos
The nightly tests work but the ubuntu 18 image triggered by the dune-common CI fails. Have not yet investigated further.
enabled an automatic merge when the pipeline for 461b07d2 succeeds
mentioned in commit c6c89148
mentioned in issue #313
Please register or sign in to reply