Actions: fgdorais/lean4-parser
Actions
Showing runs from all workflows
600 workflow runs
600 workflow runs
Trivial
and Basic
error types
CI
#25:
Commit b693116
pushed
by
fgdorais
Trivial
and Basic
error types
CI
#24:
Pull request #10
synchronize
by
fgdorais
Trivial
and Basic
error types
CI
#23:
Pull request #10
opened
by
fgdorais
ProTip!
You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.