Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1211282729 Dependabot Updates #429: by dependabot bot
31s main
main
31s
feat: add lint-args configuration input Functional Tests #203: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #334: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #200: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Functional Tests #202: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #333: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #199: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #332: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Functional Tests #201: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #198: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Functional Tests #200: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #331: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #197: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Functional Tests #199: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #196: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #330: Pull request #149 synchronize by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Functional Tests #198: Pull request #149 opened by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input ShellCheck #329: Pull request #149 opened by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
feat: add lint-args configuration input Actionlint #195: Pull request #149 opened by GZGavinZhao
Action required GZGavinZhao:gzgz/jj-vvunnulqpvnw
GZGavinZhao:gzgz/jj-vvunnulqpvnw
Action required
github_actions in /. - Update #1210360765 Dependabot Updates #428: by dependabot bot
34s main
main
34s
test: add functional test for lean4checker in subdirectory (#138) ShellCheck #328: Commit 65f454b pushed by austinletson
12s main
main
12s
test: add functional test for lean4checker in subdirectory (#138) Actionlint #194: Commit 65f454b pushed by austinletson
18s main
main
18s
doc: update CHANGELOG.md for v1.4.0 (#148) ShellCheck #327: Commit 776a112 pushed by austinletson
27s main
main
27s
doc: update CHANGELOG.md for v1.4.0 ShellCheck #326: Pull request #148 opened by austinletson
26s update-changelog-1-4-0
update-changelog-1-4-0
26s
Functional Tests Functional Tests #197: Manually run by austinletson
4m 15s release/v1.4.0
release/v1.4.0
4m 15s