Actions: leanprover/verso
Actions
626 workflow runs
626 workflow runs
verso.code.warnLineLength linter
Check Code Formatting
#628:
Pull request #858
synchronize
by
b-mehta
verso.code.warnLineLength linter
Check Code Formatting
#625:
Pull request #858
opened
by
b-mehta