Actions: leanprover/lean-action
Actions
Showing runs from all workflows
410 workflow runs
410 workflow runs
leanchecker-args input
Functional Tests
#222:
Pull request #162
opened
by
kim-em
leanchecker-args input
ShellCheck
#358:
Pull request #162
opened
by
kim-em
lake test if test.sh is missing from lean4checker (#160)
ShellCheck
#355:
Commit 38fbc41
pushed
by
austinletson
lake test if test.sh is missing from lean4checker
Functional Tests
#217:
Pull request #160
opened
by
austinletson
lake test if test.sh is missing from lean4checker
ShellCheck
#348:
Pull request #160
opened
by
austinletson
lean4checker input to leanchecker (#156)
ShellCheck
#347:
Commit 844b330
pushed
by
kim-em
lean4checker input to leanchecker (#156)
Actionlint
#210:
Commit 844b330
pushed
by
kim-em