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.