Code

chore(docs): update name#137

Code

Merged

jeertmans merged 5 commits intomainjeertmans/DiffeRT:mainfrom lifetimejeertmans/DiffeRT:lifetimeCopy head branch name to clipboardOct 10, 2024

+1,589-3,542

Commits

Commits on Oct 10, 2024

• chore(docs): update name

  jeertmans

  committed
  5808eba

  Copy full SHA for 5808eba

• fix(docs): rerun simulations ?

  jeertmans

  committed
  07f84e5

  Copy full SHA for 07f84e5

• fix(docs): remove tqdm

  jeertmans

  committed
  9b37813

  Copy full SHA for 9b37813

• chore(ci): restrict to tags starting with v

  jeertmans

  committed
  1d5b365

  Copy full SHA for 1d5b365

• chore(docs): final touch

  jeertmans

  committed
  639a91f

  Copy full SHA for 639a91f