Skip to content

ci: check Lean snippets in released READMEs - #9470

Open
kim-em wants to merge 26 commits into
mainfrom
verso-readme
Open

ci: check Lean snippets in released READMEs#9470
kim-em wants to merge 26 commits into
mainfrom
verso-readme

ci: re-anchor the lakefile proof-only exemption after merging main

33ee060
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar