Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
extensions
dune-metagrid
Merge requests
!5
Fix dune-parallel grid with dune master
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Timo Koch
requested to merge
feature/update-and-cleanup-parallel-grid-master
into
master
Oct 03, 2021
Overview
1
Commits
19
Pipelines
5
Changes
14
Several fixes and cleanups
Fix test
Make test actually do a grid check (at least serial, parallel is fixed
!8 (merged)
)
Edited
Oct 21, 2021
by
Timo Koch