ProofDiff evidence report
Version updated for https://github.com/hzw0813/proofdiff to version v0.5.3.
- This action is used across all versions by 0 repositories.
Action Type
This is a Composite action.
Go to the GitHub Marketplace to find the latest changes.
Action Summary
The ProofDiff action automates the process of creating a deterministic evidence report for every code change in a Git repository. It inspects Git and parses supported source files, but does not execute repository code. The key capabilities include generating a static-only interactive report with detailed changes, verification results, and unverified items. For trusted repositories, it can run repository-defined tests, typechecks, and linters.
What’s Changed
What’s Changed
- Run one-time v0.5.2 release dispatcher by @hzw0813 in https://github.com/hzw0813/proofdiff/pull/43
- Finalize ProofDiff v0.5.2 post-release docs by @hzw0813 in https://github.com/hzw0813/proofdiff/pull/44
- Fail closed on repository symlink inputs by @hzw0813 in https://github.com/hzw0813/proofdiff/pull/45
- Prepare ProofDiff v0.5.3 by @hzw0813 in https://github.com/hzw0813/proofdiff/pull/46
Full Changelog: https://github.com/hzw0813/proofdiff/compare/v0.5.2...v0.5.3