Add CI configuration with DUNE_ISTL_WITH_CHECKING
Should we add a CI configuration which has DUNE_ISTL_WITH_CHECKING
set?
See !298 (merged) for example.
Should we add a CI configuration which has DUNE_ISTL_WITH_CHECKING
set?
See !298 (merged) for example.