Stream: Hierarchy Builder devs & users

Topic: Release 1.6.0


view this post on Zulip Enrico Tassi (Sep 20 2023 at 13:58):

I'm preparing it here: https://github.com/math-comp/hierarchy-builder/pull/388
The main news is that I created a job which (should) be triggered by a tag being pushed that:


Last updated: Apr 21 2024 at 01:02 UTC