Code

Port to hierarchy builder#75

Code

Merged

CohenCyril merged 3 commits intomath-comp:mastermath-comp/Abel:masterfrom proux01:hierarchy-builderproux01/Abel:hierarchy-builderCopy head branch name to clipboardNov 7, 2023

+732-1,884

Commits

Commits on Nov 6, 2023

• Port to hierarchy builder

  proux01

  committed
  80a36ca

Commits on Nov 7, 2023

• [CI] Update Nix

  proux01

  committed
  779f085

• [CI] Update Docker

  proux01

  committed
  dbb88d8