Releases: HsiangNianian/proof-pr
Releases · HsiangNianian/proof-pr
Release list
v0.1.1
0.1.1 - 2026-07-18
Documentation
- Document successful positive and negative verification paths from the first external consumer.
- Explain what commit-bound evidence proves and which guarantees remain outside the project scope.
- Add contribution guidance, private security reporting, and a structured bug report form.
- Refine the Action metadata and usage example for the GitHub Marketplace release.
v0.1.0
0.1.0 - 2026-07-18
Features
- Generate JSON and Markdown verification evidence bound to exact base and head commits.
- Run repository-defined checks without a shell and reject dirty or changing worktrees.
- Detect stale evidence after the verified commit or worktree changes.
- Provide a composite GitHub Action that publishes evidence to the workflow job summary.
Documentation
- Document repository configuration, CLI usage, evidence freshness, and secure pull request setup.
Continuous Integration
- Verify the project with its own action and install pinned hosted-runner tooling.