Version updated for https://github.com/zengineco/gonzalgo to version v1.0.0. This action is used across all versions by ? repositories. Action Type This is a Composite action. Go to the GitHub Marketplace to find the latest changes. Action Summary gonzalgo is a Python tool that helps developers understand how Lean theorems depend on axioms and other assumptions. It can identify if a theorem relies on sorry statements, detect where an axiom is inherited from dependencies, and help determine which steps introduced specific axioms into proofs. The action also allows for automated checks to fail builds when certain axioms are used in incomplete or unproven code.