graeser commented on merge request !38 at agnumpde / dune-tnnmg

graeser
2025-01-26T20:41:25Z

The CI failure is unrelated and exited before. Hence I'll merge as is.