[Dune-devel] failing CI geometry/grid

[Ansgar Burchardt]

Hi,

On Thu, 2022-10-20 at 14:00 +0000, Dedner, Andreas wrote:
> Thanks well spotted I'm sure your right. Should we exclude git from
> the dune.module search in dunecontrol?

I think we should exclude all directories starting with a dot when
looking for dune.module files.

This merge request should implement this for dunecontrol:
https://gitlab.dune-project.org/core/dune-common/-/merge_requests/1184

Ansgar

> 
> Get Outlook for Android<https://aka.ms/AAb9ysg>
> ________________________________
> 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 2:54:11 PM
> To:
> dune-devel at lists.dune-project.org <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
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at lists.dune-project.org
> https://lists.dune-project.org/mailman/listinfo/dune-devel