Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
411 workflow runs
411 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1226295780 Dependabot Updates #438: by dependabot Bot
26s main
main
26s
github_actions in /. - Update #1224697478 Dependabot Updates #437: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1223338129 Dependabot Updates #436: by dependabot Bot
28s main
main
28s
feat: add nanoda external type checker support Functional Tests #209: Pull request #145 synchronize by kim-em
3m 12s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 12s
feat: add nanoda external type checker support Actionlint #206: Pull request #145 synchronize by kim-em
17s kim-em:feat-nanoda
kim-em:feat-nanoda
17s
feat: add nanoda external type checker support ShellCheck #340: Pull request #145 synchronize by kim-em
15s kim-em:feat-nanoda
kim-em:feat-nanoda
15s
github_actions in /. - Update #1221467497 Dependabot Updates #435: by dependabot Bot
24s main
main
24s
feat: add nanoda external type checker support ShellCheck #339: Pull request #145 synchronize by kim-em
12s kim-em:feat-nanoda
kim-em:feat-nanoda
12s
feat: add nanoda external type checker support Actionlint #205: Pull request #145 synchronize by kim-em
9s kim-em:feat-nanoda
kim-em:feat-nanoda
9s
feat: add nanoda external type checker support Functional Tests #208: Pull request #145 synchronize by kim-em
3m 32s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 32s
feat: add nanoda external type checker support Functional Tests #207: Pull request #145 synchronize by kim-em
6m 47s kim-em:feat-nanoda
kim-em:feat-nanoda
6m 47s
feat: add nanoda external type checker support Actionlint #204: Pull request #145 synchronize by kim-em
11s kim-em:feat-nanoda
kim-em:feat-nanoda
11s
feat: add nanoda external type checker support ShellCheck #338: Pull request #145 synchronize by kim-em
11s kim-em:feat-nanoda
kim-em:feat-nanoda
11s
feat: add nanoda external type checker support Functional Tests #206: Pull request #145 synchronize by kim-em
3m 25s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 25s
feat: add nanoda external type checker support ShellCheck #337: Pull request #145 synchronize by kim-em
14s kim-em:feat-nanoda
kim-em:feat-nanoda
14s
feat: add nanoda external type checker support Actionlint #203: Pull request #145 synchronize by kim-em
13s kim-em:feat-nanoda
kim-em:feat-nanoda
13s
feat: add nanoda external type checker support ShellCheck #336: Pull request #145 synchronize by kim-em
11s kim-em:feat-nanoda
kim-em:feat-nanoda
11s
feat: add nanoda external type checker support Actionlint #202: Pull request #145 synchronize by kim-em
10s kim-em:feat-nanoda
kim-em:feat-nanoda
10s
feat: add nanoda external type checker support Functional Tests #205: Pull request #145 synchronize by kim-em
3m 9s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 9s
feat: add nanoda external type checker support Functional Tests #204: Pull request #145 synchronize by kim-em
3m 18s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 18s
feat: add nanoda external type checker support Actionlint #201: Pull request #145 synchronize by kim-em
14s kim-em:feat-nanoda
kim-em:feat-nanoda
14s
feat: add nanoda external type checker support ShellCheck #335: Pull request #145 synchronize by kim-em
18s kim-em:feat-nanoda
kim-em:feat-nanoda
18s
github_actions in /. - Update #1219025830 Dependabot Updates #434: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1217868993 Dependabot Updates #433: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1216444392 Dependabot Updates #432: by dependabot Bot
35s main
main
35s