Code

[doc-gen] Use docbuild setup#60

Code

Draft

pitmonticone wants to merge 5 commits intoPatrickMassot:masterPatrickMassot/leanblueprint:masterfrom pitmonticone:docbuildpitmonticone/leanblueprint:docbuildCopy head branch name to clipboard

+13-12

Commits

Commits on Oct 8, 2024

• Update blueprint.yml

  pitmonticone

  committed
  c41e038

• Revert "Update blueprint.yml"

  Show description for 29b294c
  pitmonticone

  committed
  29b294c

Commits on Oct 9, 2024

• Merge remote-tracking branch 'upstream/master'

  pitmonticone

  committed
  d524632

Commits on Nov 11, 2024

• use new doc-gen setup

  pitmonticone

  committed
  20bff8a

• fix

  pitmonticone

  committed
  9b09ecc