Skip to content

v0.4.0

Choose a tag to compare

@github-actions github-actions released this 19 Sep 14:26
· 6 commits to main since this release

Changelog

  • a2cad65 staticcheck fixes; decisions 0033-0034
  • e2912c9 doctor, pr diff/checkout, auto-push on pr open; UI: dark mode, highlighting, Markdown, ledger and vault pages, proof badge