Stream: Hierarchy Builder devs & users

Topic: hiearchy-builder 1.1.0


view this post on Zulip Reynald Affeldt (Apr 01 2021 at 02:36):

FYI, we observed the following failure with a PR on infotheo where the CI fails because of a mathcomp-analysis error due to hb https://github.com/affeldt-aist/infotheo/pull/16 @Jacques Garrigue

view this post on Zulip Reynald Affeldt (Apr 01 2021 at 02:40):

NB: I am sharing the information before having taken time to look at it carefully, I'll report asap

view this post on Zulip Enrico Tassi (Apr 01 2021 at 06:58):

Hum, we don't have MCA in our CI so we did not notice. It is a name collision

view this post on Zulip Reynald Affeldt (Apr 01 2021 at 07:08):

Yes, it looks like a name collision. I will take a closer look now.

view this post on Zulip Reynald Affeldt (Apr 01 2021 at 07:12):

Here are mathcomp-analysis CI outputs from this morning: https://github.com/math-comp/analysis/pull/294, https://github.com/math-comp/analysis/pull/224

view this post on Zulip Cyril Cohen (Apr 01 2021 at 07:30):

The problem is in mathcomp analysis

view this post on Zulip Cyril Cohen (Apr 01 2021 at 07:30):

we redefine measurableT

view this post on Zulip Cyril Cohen (Apr 01 2021 at 07:30):

In HB 1.1.0 we export operations from mixins in the top module instead of a submodule

view this post on Zulip Cyril Cohen (Apr 01 2021 at 07:31):

hence the error

view this post on Zulip Cyril Cohen (Apr 01 2021 at 07:38):

math-comp/analysis#363


Last updated: Jan 29 2023 at 15:02 UTC