Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
601 workflow runs
601 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
chore: update functional test toolchain to v4.35.0-rc4 Actionlint #292: 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.35.0-rc4 ShellCheck #462: 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.35.0-rc4 Functional Tests #298: 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 #69: Scheduled
14s main
main
14s
Update Functional Test Toolchain Update Functional Test Toolchain #68: Scheduled
12s main
main
12s
feat: use the bundled nanoda, and deprecate the nanoda input ShellCheck #461: Pull request #192 synchronize by kim-em
12s feat/nanoda-bundled
feat/nanoda-bundled
12s
feat: use the bundled nanoda, and deprecate the nanoda input Actionlint #291: Pull request #192 synchronize by kim-em
9s feat/nanoda-bundled
feat/nanoda-bundled
9s
feat: use the bundled nanoda, and deprecate the nanoda input Functional Tests #297: Pull request #192 synchronize by kim-em
11m 11s feat/nanoda-bundled
feat/nanoda-bundled
11m 11s
feat: add lake-check input for sandboxed independent kernel checks Actionlint #290: Pull request #190 synchronize by kim-em
12s feat/lake-check
feat/lake-check
12s
feat: add lake-check input for sandboxed independent kernel checks ShellCheck #460: Pull request #190 synchronize by kim-em
10s feat/lake-check
feat/lake-check
10s
feat: add lake-check input for sandboxed independent kernel checks Functional Tests #296: Pull request #190 synchronize by kim-em
10m 50s feat/lake-check
feat/lake-check
10m 50s
Update Functional Test Toolchain Update Functional Test Toolchain #67: Scheduled
14s main
main
14s
Update Functional Test Toolchain Update Functional Test Toolchain #66: Scheduled
12s main
main
12s
chore: update functional test toolchain to v4.35.0-rc4 Actionlint #289: 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.35.0-rc4 ShellCheck #459: 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.35.0-rc4 Functional Tests #295: 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 #65: Scheduled
14s main
main
14s
perf: restore .lake before configuration and mk_all ShellCheck #458: Pull request #199 opened by SamuelSchlesinger
Action required SamuelSchlesinger:samschles/restore-cache-earlier
SamuelSchlesinger:samschles/restore-cache-earlier
Action required
perf: restore .lake before configuration and mk_all Functional Tests #294: Pull request #199 opened by SamuelSchlesinger
Action required SamuelSchlesinger:samschles/restore-cache-earlier
SamuelSchlesinger:samschles/restore-cache-earlier
Action required
fix: cache test and lint build artifacts Functional Tests #293: Pull request #197 synchronize by SamuelSchlesinger
3m 1s SamuelSchlesinger:samschles/cache-after-checks
SamuelSchlesinger:samschles/cache-after-checks
3m 1s
fix: cache test and lint build artifacts ShellCheck #457: Pull request #197 synchronize by SamuelSchlesinger
13s SamuelSchlesinger:samschles/cache-after-checks
SamuelSchlesinger:samschles/cache-after-checks
13s
chore: finalize v1.6.1 release (#198) ShellCheck #456: Commit a1e4f67 pushed by kim-em
12s main
main
12s
chore: finalize v1.6.1 release ShellCheck #455: Pull request #198 reopened by kim-em
14s auto-update/release-v1.6.1
auto-update/release-v1.6.1
14s
chore: finalize v1.6.1 release ShellCheck #454: Pull request #198 opened by github-actions Bot
21s auto-update/release-v1.6.1
auto-update/release-v1.6.1
21s
Release Release #2: Manually run by kim-em
3m 36s main
main
3m 36s