{"repo":"leanprover/lean-action","free":true,"listed":false,"github":"https://github.com/leanprover/lean-action","clone":"git clone https://github.com/leanprover/lean-action.git","description":"GitHub action for standard CI in Lean projects","language":"Shell","stars":39,"topics":["github-actions","lean","lean4"],"license":"Apache-2.0","category":"workflow-automation","readme_excerpt":"lean-action - CI for Lean Projects lean-action provides steps to build, test, and lint Lean projects on GitHub Quick Setup To setup lean-action to run on pushes and pull request in your repo, create the following ci.yml file the .github/workflows [!IMPORTANT] lean-action is tested on ubuntu-latest , macos-latest , and windows-latest GitHub-hosted runners. We recommend using one of these runners for the best experience, however if you encounter an issue when using a different runner, please still open an issue. Caching .lake directory with GitHub's actions\\cache By default, lean-action uses actions\\cache to cache the .lake directory and speed up builds. [!NOTE] GitHub caching is distinct from Mathlib caching with lake exe cache get Cache keys lean-action uses cache keys to save and restore caches. First it uses a primary key, composed of the runner operating system, the runner architecture (X86, X64, ARM, ARM64), the Lake manifest, and the git commit hash, to save/restore caches from an exact git commit. If there is no primary key cache hit, lean-action uses a fallback key, composed of the operating system, the architecture, and the Lake manifest but not the git commit hash, to restore a cache from a previous commit. Troubleshooting problems with caching Because caches are shared across different jobs, caching build files can lead to unexpected behavior and errors. To determine if the GitHub cache is causing problems you can disable caching with the use-github-cache input. For","default_branch":null,"files":null,"tree":[],"storefront":"/r/leanprover","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/leanprover/lean-action/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}