[Dune-devel] failing CI geometry/grid

[Ansgar Burchardt]

On Thu, 2022-10-20 at 13:37 +0000, Dedner, Andreas wrote:
> I can't figure out why recent pipelines in geometry and grid have started to fail.
> This happens both with master and the releases branch.
> ERROR: dune.module files /builds/core/dune-grid/.git/refs/remotes/origin/bugfix/dune.module does not contain a Module entry
> Is this due to the licence entry in the dune.module file or some issue with our docker files?
> Any help would be great because it is holding up the release...

That sounds like it is a problem with the branch name which ends with
"dune.module". It looks like something looks in the .git directory for
dune module files (which it really should not do).

Ansgar