[Dune-devel] failing CI geometry/grid

[Ospina De Los Rios, Santiago]

Ok, that's unexpected. We should probably then ban these branch names from the core modules at least.

________________________________
From: Dune-devel <dune-devel-bounces at lists.dune-project.org> on behalf of Ansgar Burchardt <ansgar.burchardt at tu-dresden.de>
Sent: Thursday, October 20, 2022 3:54:11 PM
To: dune-devel at lists.dune-project.org
Subject: Re: [Dune-devel] failing CI geometry/grid

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


_______________________________________________
Dune-devel mailing list
Dune-devel at lists.dune-project.org
https://lists.dune-project.org/mailman/listinfo/dune-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20221020/76e67ed2/attachment.htm>