Code

Update CI/CD process#21

Code

Closed

myugen wants to merge 5 commits intomainlean-mind/monads:mainfrom myugen/update-release-configurationlean-mind/monads:myugen/update-release-configurationCopy head branch name to clipboard

+85-7

Commits

Commits on Sep 5, 2024

• chore: add format validation script

  myugen

  committed
  6fb6b10

  Copy full SHA for 6fb6b10

• chore(ci): improve CI process

  myugen

  committed
  1485e87

  Copy full SHA for 1485e87

• chore(cd): improve CD process

  myugen

  committed
  9aad893

  Copy full SHA for 9aad893

• chore: inform contributors version is not kept up to date

  myugen

  committed
  de5d362

  Copy full SHA for de5d362

• chore: add pull request template

  myugen

  committed
  1a8164a

  Copy full SHA for 1a8164a