Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / .github

2.16 kB

Ctrl+K

Ctrl+K

4 contributors

History: 2 commits

p4r5kpftnp-cmd

Pin ruff to 0.15.14 and re-sort imports

01cdf65 about 1 month ago

workflows
Pin ruff to 0.15.14 and re-sort imports about 1 month ago