Code

chore(ci): from Make to just#101

Code

Merged

jeertmans merged 4 commits intomainjeertmans/DiffeRT:mainfrom justjeertmans/DiffeRT:justCopy head branch name to clipboardJul 25, 2024

+114-33

Commits

Commits on Jul 25, 2024

• chore(ci): from Make to just

  jeertmans

  committed
  d752a6d

  Copy full SHA for d752a6d

• chore(docs): phrasing

  jeertmans

  committed
  3590a91

  Copy full SHA for 3590a91

• chore(ci): allow to skip using rye

  jeertmans

  committed
  8bc85a9

  Copy full SHA for 8bc85a9

• fix(ci): cleanup

  jeertmans

  committed
  3443305

  Copy full SHA for 3443305