<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Exchange Server">
<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>
</head>
<body>
<meta content="text/html; charset=UTF-8">
<style type="text/css" style="">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style>
<div dir="ltr">
<div id="x_divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<p>Ok, that's unexpected. We should probably then ban these branch names from the core modules at least.<br>
</p>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Dune-devel <dune-devel-bounces@lists.dune-project.org> on behalf of Ansgar Burchardt <ansgar.burchardt@tu-dresden.de><br>
<b>Sent:</b> Thursday, October 20, 2022 3:54:11 PM<br>
<b>To:</b> dune-devel@lists.dune-project.org<br>
<b>Subject:</b> Re: [Dune-devel] failing CI geometry/grid</font>
<div> </div>
</div>
</div>
<font size="2"><span style="font-size:10pt;">
<div class="PlainText">On Thu, 2022-10-20 at 13:37 +0000, Dedner, Andreas wrote:<br>
> I can't figure out why recent pipelines in geometry and grid have started to fail.<br>
> This happens both with master and the releases branch.<br>
> ERROR: dune.module files /builds/core/dune-grid/.git/refs/remotes/origin/bugfix/dune.module does not contain a Module entry<br>
> Is this due to the licence entry in the dune.module file or some issue with our docker files?<br>
> Any help would be great because it is holding up the release...<br>
<br>
That sounds like it is a problem with the branch name which ends with<br>
"dune.module". It looks like something looks in the .git directory for<br>
dune module files (which it really should not do).<br>
<br>
Ansgar<br>
<br>
<br>
_______________________________________________<br>
Dune-devel mailing list<br>
Dune-devel@lists.dune-project.org<br>
<a href="https://lists.dune-project.org/mailman/listinfo/dune-devel">https://lists.dune-project.org/mailman/listinfo/dune-devel</a><br>
</div>
</span></font>
</body>
</html>