Actions: leanprover/verso
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
verso.code.warnLineLength linter
Consistent subproject dependencies
#1692:
Pull request #858
synchronize
by
b-mehta