Actions: leanprover/lean4
Actions
4,435 workflow run results
4,435 workflow run results
findM?
Check PR title for commit convention
#4412:
Pull request #4124
opened
by
kim-em
synthPendingDepth
into account when caching TC results
Check PR title for commit convention
#4403:
Pull request #4120
edited
by
leodemoura
synthPendingDepth
into account when caching TC results
Check PR title for commit convention
#4402:
Pull request #4120
opened
by
leodemoura
maxSynthPendingDepth := 1
Check PR title for commit convention
#4401:
Pull request #4119
opened
by
leodemoura
BinderInfo
s for discrimination trees
Check PR title for commit convention
#4400:
Pull request #3113
edited
by
kmill
BinderInfo
s for discrimination trees
Check PR title for commit convention
#4399:
Pull request #3113
edited
by
kmill
BinderInfo
s for discrimination trees
Check PR title for commit convention
#4397:
Pull request #3113
synchronize
by
kmill