Skip to content

v0.9.8

Latest

Choose a tag to compare

@github-actions github-actions released this 25 Oct 05:30
· 5 commits to main since this release
63cd8c2

What's Changed

  • refactor!: remove the web UI, the FastAPI server, auth and deploy (#1477) by @frankbria in #1512
  • docs: the proof9 terminal demo, a real 0.9.7 session (#1474) by @frankbria in #1514
  • fix(workspace): a moved or copied repo checks its own tree (#1515) by @frankbria in #1516
  • feat(site): the CodeFRAME mark — favicon, header lockup, social card (#1476) by @frankbria in #1517
  • fix(proof): cf proof export names no local path (#1518) by @frankbria in #1519
  • feat(site): the launch page — proof9 demo, install CTA, sample evidence report (#1476) by @frankbria in #1520
  • docs: lead with the requirement ledger, not the pipeline by @frankbria in #1522
  • docs: mark CodeFRAME as a registered trademark (®); add PROOF9™ by @frankbria in #1524
  • docs: replace the README banner with an outlined SVG by @frankbria in #1525
  • Review PRs with Kimi K3 by @frankbria in #1529
  • chore(deps): bump the actions group across 1 directory with 6 updates by @dependabot[bot] in #1530
  • chore(deps): patch security alerts in uv.lock (certifi critical, gitpython, aiohttp, filelock, virtualenv, black, multidict) by @frankbria in #1533
  • chore(release): 0.9.8 — raise dependency floors past published advisories by @frankbria in #1535

Full Changelog: v0.9.7...v0.9.8