Skip to content

Actions: leanprover/lean4-cli

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
439 workflow runs
439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #30 from leanprover/bump_to_v4.18.0-rc1 build lean4-cli #132: Commit dd423cf pushed by jcommelin
March 3, 2025 12:21 23s v4.18.0-rc1
v4.18.0-rc1
March 3, 2025 12:21 23s
Merge pull request #30 from leanprover/bump_to_v4.18.0-rc1 build lean4-cli #131: Commit dd423cf pushed by kim-em
March 3, 2025 12:01 22s main
main
March 3, 2025 12:01 22s
chore: bump toolchain to v4.18.0-rc1 build lean4-cli #130: Pull request #30 synchronize by kim-em
March 3, 2025 12:00 22s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 12:00 22s
deprecations build lean4-cli #129: Commit ad92801 pushed by kim-em
March 3, 2025 12:00 26s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 12:00 26s
chore: bump toolchain to v4.18.0-rc1 build lean4-cli #128: Pull request #30 opened by kim-em
March 3, 2025 11:56 29s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 11:56 29s
chore: bump toolchain to v4.18.0-rc1 build lean4-cli #127: Commit 7a6684b pushed by kim-em
March 3, 2025 11:56 20s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 11:56 20s
Merge pull request #29 from leanprover/bump_to_v4.17.0 build lean4-cli #126: Commit e7fd1a4 pushed by jcommelin
March 3, 2025 10:08 21s v4.17.0
v4.17.0
March 3, 2025 10:08 21s
Merge pull request #29 from leanprover/bump_to_v4.17.0 build lean4-cli #125: Commit e7fd1a4 pushed by jcommelin
March 3, 2025 10:07 26s main
main
March 3, 2025 10:07 26s
chore: bump toolchain to v4.17.0 build lean4-cli #124: Pull request #29 opened by jcommelin
March 3, 2025 10:06 22s bump_to_v4.17.0
bump_to_v4.17.0
March 3, 2025 10:06 22s
chore: bump toolchain to v4.17.0 build lean4-cli #123: Commit 531dcc0 pushed by jcommelin
March 3, 2025 10:06 26s bump_to_v4.17.0
bump_to_v4.17.0
March 3, 2025 10:06 26s
updates for leanprover/lean4#7059 build lean4-cli #122: Commit 5bf2647 pushed by kim-em
February 17, 2025 11:16 23s nightly-testing
nightly-testing
February 17, 2025 11:16 23s
doc: clarify maintainer in README build lean4-cli #121: Commit c53b337 pushed by mhuisi
February 3, 2025 16:45 22s main
main
February 3, 2025 16:45 22s
chore: remove nightly check action build lean4-cli #120: Commit 559a030 pushed by mhuisi
February 3, 2025 16:42 30s main
main
February 3, 2025 16:42 30s
Merge pull request #28 from leanprover/bump_to_v4.17.0-rc1 build lean4-cli #119: Commit a2eb24a pushed by mhuisi
February 3, 2025 16:15 22s v4.2.0
v4.2.0
February 3, 2025 16:15 22s
Merge pull request #28 from leanprover/bump_to_v4.17.0-rc1 build lean4-cli #118: Commit a2eb24a pushed by mhuisi
February 3, 2025 16:15 27s v4.1.0
v4.1.0
February 3, 2025 16:15 27s
Merge pull request #28 from leanprover/bump_to_v4.17.0-rc1 build lean4-cli #117: Commit a2eb24a pushed by mhuisi
February 3, 2025 16:14 21s v4.0.0
v4.0.0
February 3, 2025 16:14 21s
check lean4-cli build on current nightly check lean4-cli build on current nightly #992: Scheduled
February 3, 2025 14:01 27s main
main
February 3, 2025 14:01 27s
Merge pull request #28 from leanprover/bump_to_v4.17.0-rc1 build lean4-cli #116: Commit a2eb24a pushed by jcommelin
February 3, 2025 13:38 21s v4.17.0-rc1
v4.17.0-rc1
February 3, 2025 13:38 21s
Merge pull request #28 from leanprover/bump_to_v4.17.0-rc1 build lean4-cli #115: Commit a2eb24a pushed by jcommelin
February 3, 2025 13:36 23s main
main
February 3, 2025 13:36 23s
chore: bump toolchain to v4.17.0-rc1 build lean4-cli #114: Pull request #28 opened by jcommelin
February 3, 2025 13:31 22s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:31 22s
chore: bump toolchain to v4.17.0-rc1 build lean4-cli #113: Commit f766a62 pushed by jcommelin
February 3, 2025 13:31 22s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:31 22s
Merge pull request #27 from leanprover/bump_to_v4.16.0 build lean4-cli #112: Commit efa5aa2 pushed by jcommelin
February 3, 2025 08:52 21s v4.16.0
v4.16.0
February 3, 2025 08:52 21s
Merge pull request #27 from leanprover/bump_to_v4.16.0 build lean4-cli #111: Commit efa5aa2 pushed by jcommelin
February 3, 2025 08:52 25s main
main
February 3, 2025 08:52 25s
chore: bump toolchain to v4.16.0 build lean4-cli #110: Pull request #27 opened by jcommelin
February 3, 2025 08:42 25s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:42 25s
chore: bump toolchain to v4.16.0 build lean4-cli #109: Commit 27f69ad pushed by jcommelin
February 3, 2025 08:42 20s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:42 20s