8000 Workflow runs · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180,678 workflow runs
180,678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #28605: completed by datokrat
June 26, 2025 21:28 1s
June 26, 2025 21:28 1s
Grove Grove #95: completed by datokrat
June 26, 2025 21:28 1s
June 26, 2025 21:28 1s
refactor: migrate all usages of old slice notation Check PR body for changelog convention #16868: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 4s paul/slices1
paul/slices1
June 26, 2025 21:27 4s
refactor: migrate all usages of old slice notation CI #37797: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 In progress paul/slices1
paul/slices1
June 26, 2025 21:27 In progress
refactor: migrate all usages of old slice notation Check for copyright header #14768: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 24s paul/slices1
paul/slices1
June 26, 2025 21:27 24s
refactor: migrate all usages of old slice notation Check PR title for commit convention #24186: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 25s paul/slices1
paul/slices1
June 26, 2025 21:27 25s
refactor: migrate all usages of old slice notation Check for modules that should use `prelude` #14613: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 8s paul/slices1
paul/slices1
June 26, 2025 21:27 8s
refactor: migrate all usages of old slice notation Check for stage0 changes #17425: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 42s paul/slices1
paul/slices1
June 26, 2025 21:27 42s
refactor: migrate all usages of old slice notation Check awaiting-mathlib label #7566: Pull request #9000 synchronize by datokrat
June 26, 2025 21:27 9s paul/slices1
paul/slices1
June 26, 2025 21:27 9s
refactor: migrate all usages of old slice notation CI #37796: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 2m 0s paul/slices1
paul/slices1
June 26, 2025 21:26 2m 0s
refactor: migrate all usages of old slice notation Check PR title for commit convention #24185: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 6s paul/slices1
paul/slices1
June 26, 2025 21:26 6s
refactor: migrate all usages of old slice notation Check for copyright header #14767: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 30s paul/slices1
paul/slices1
June 26, 2025 21:26 30s
refactor: migrate all usages of old slice notation Check for stage0 changes #17424: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 38s paul/slices1
paul/slices1
June 26, 2025 21:26 38s
refactor: migrate all usages of old slice notation Check PR body for changelog convention #16867: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 7s paul/slices1
paul/slices1
June 26, 2025 21:26 7s
refactor: migrate all usages of old slice notation Check awaiting-mathlib label #7565: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 9s paul/slices1
paul/slices1
June 26, 2025 21:26 9s
refactor: migrate all usages of old slice notation Check for modules that should use `prelude` #14612: Pull request #9000 synchronize by datokrat
June 26, 2025 21:26 10s paul/slices1
paul/slices1
June 26, 2025 21:26 10s
Nat.toDigits with base 1 Label PR based on Comment #13741: Issue comment #8686 (comment) created by eric-wieser
June 26, 2025 21:18 1s
June 26, 2025 21:18 1s
Grove Grove #94: completed by algebraic-dev
June 26, 2025 21:10 22s
June 26, 2025 21:10 22s
PR release PR release #28604: completed by algebraic-dev
June 26, 2025 21:10 4m 8s
June 26, 2025 21:10 4m 8s
feat: add lean_setup_libuv for initializing required LIBUV components Check PR body for changelog convention #16866: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 6s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 6s
feat: add lean_setup_libuv for initializing required LIBUV components Check awaiting-mathlib label #7564: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 9s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 9s
feat: add lean_setup_libuv for initializing required LIBUV components Check for copyright header #14766: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 29s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 29s
feat: add lean_setup_libuv for initializing required LIBUV components CI #37795: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 16m 49s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 16m 49s
feat: add lean_setup_libuv for initializing required LIBUV components Check for stage0 changes #17423: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 44s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 44s
feat: add lean_setup_libuv for initializing required LIBUV components Check PR title for commit convention #24184: Pull request #8636 synchronize by algebraic-dev
June 26, 2025 20:53 9s sr/setup-libuv
sr/setup-libuv
June 26, 2025 20:53 9s
0