Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
424 workflow runs
424 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
Update Functional Test Toolchain Update Functional Test Toolchain #16: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #15: Scheduled
13s main
main
13s
Update Functional Test Toolchain Update Functional Test Toolchain #14: Scheduled
10s main
main
10s
Update Functional Test Toolchain Update Functional Test Toolchain #13: Scheduled
12s main
main
12s
feat: add nanoda-modules input ShellCheck #396: Pull request #180 opened by petr-kratochvil
Action required petr-kratochvil:feat/nanoda-modules-pr
petr-kratochvil:feat/nanoda-modules-pr
Action required
feat: add nanoda-modules input Functional Tests #251: Pull request #180 opened by petr-kratochvil
Action required petr-kratochvil:feat/nanoda-modules-pr
petr-kratochvil:feat/nanoda-modules-pr
Action required
feat: add nanoda-modules input Actionlint #245: Pull request #180 opened by petr-kratochvil
Action required petr-kratochvil:feat/nanoda-modules-pr
petr-kratochvil:feat/nanoda-modules-pr
Action required
chore: update functional test toolchain to v4.34.0-rc1 ShellCheck #395: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
chore: update functional test toolchain to v4.34.0-rc1 Actionlint #244: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
chore: update functional test toolchain to v4.34.0-rc1 Functional Tests #250: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
Update Functional Test Toolchain Update Functional Test Toolchain #12: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #11: Scheduled
10s main
main
10s
Update Functional Test Toolchain Update Functional Test Toolchain #10: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #9: Scheduled
12s main
main
12s
Update Functional Test Toolchain Update Functional Test Toolchain #8: Scheduled
17s main
main
17s
Update Functional Test Toolchain Update Functional Test Toolchain #7: Scheduled
14s main
main
14s
fix (nanoda): git clone master branch Functional Tests #249: Pull request #177 synchronize by petr-kratochvil
Action required petr-kratochvil:nanoda-use-master-branch
petr-kratochvil:nanoda-use-master-branch
Action required
fix (nanoda): git clone master branch ShellCheck #394: Pull request #177 synchronize by petr-kratochvil
Action required petr-kratochvil:nanoda-use-master-branch
petr-kratochvil:nanoda-use-master-branch
Action required
Update Functional Test Toolchain Update Functional Test Toolchain #6: Scheduled
12s main
main
12s
chore: update functional test toolchain to v4.34.0-rc1 ShellCheck #393: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
chore: update functional test toolchain to v4.34.0-rc1 Actionlint #243: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
chore: update functional test toolchain to v4.34.0-rc1 Functional Tests #248: Pull request #178 synchronize by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
Update Functional Test Toolchain Update Functional Test Toolchain #5: Scheduled
10s main
main
10s
chore: update functional test toolchain to v4.34.0-rc1 Actionlint #242: Pull request #178 opened by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required
chore: update functional test toolchain to v4.34.0-rc1 Functional Tests #247: Pull request #178 opened by github-actions Bot
Action required auto-update/functional-test-toolchain
auto-update/functional-test-toolchain
Action required