Skip to content

Actions: leanprover/lean4-cli

Actions

build lean4-cli

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'nightly' build lean4-cli #94: Commit 0c8ea32 pushed by mhuisi
November 5, 2024 09:30 26s v2.2.0-lv4.14.0-rc1
v2.2.0-lv4.14.0-rc1
November 5, 2024 09:30 26s
Merge branch 'nightly' build lean4-cli #93: Commit 0c8ea32 pushed by mhuisi
November 5, 2024 09:25 22s main
main
November 5, 2024 09:25 22s
chore: bump nightly build lean4-cli #92: Commit e49e6a6 pushed by mhuisi
November 5, 2024 09:23 23s nightly
nightly
November 5, 2024 09:23 23s
Merge branch 'main' into nightly build lean4-cli #91: Commit 56ea5a0 pushed by kim-em
November 4, 2024 01:10 21s nightly
nightly
November 4, 2024 01:10 21s
Merge pull request #21 from leanprover/bump_to_v4.14.0-rc1 build lean4-cli #90: Commit 726b3c9 pushed by kim-em
November 4, 2024 01:08 30s main
main
November 4, 2024 01:08 30s
chore: adaptations for v4.14.0-rc1 build lean4-cli #89: Pull request #21 opened by kim-em
November 4, 2024 01:08 19s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 01:08 19s
chore: adaptations for v4.14.0-rc1 build lean4-cli #88: Commit f905412 pushed by kim-em
November 4, 2024 01:08 20s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 01:08 20s
Merge branch 'nightly' build lean4-cli #87: Commit 2cf1030 pushed by kim-em
November 4, 2024 01:07 27s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 01:07 27s
fix: update for lean4#5842 (#19) build lean4-cli #84: Commit 039d23a pushed by mhuisi
October 28, 2024 08:31 34s nightly
nightly
October 28, 2024 08:31 34s
fix: update for lean4#5842 build lean4-cli #83: Pull request #19 synchronize by mhuisi
October 28, 2024 08:30 27s kmill:patch-1
kmill:patch-1
October 28, 2024 08:30 27s
fix: update for lean4#5842 build lean4-cli #82: Pull request #19 opened by kmill
October 26, 2024 21:23 21s kmill:patch-1
kmill:patch-1
October 26, 2024 21:23 21s
Merge branch 'nightly' build lean4-cli #81: Commit 2cf1030 pushed by mhuisi
July 10, 2024 13:10 22s v2.2.0-lv4.9.0
v2.2.0-lv4.9.0
July 10, 2024 13:10 22s
Merge branch 'nightly' build lean4-cli #80: Commit 2cf1030 pushed by mhuisi
July 10, 2024 13:08 22s main
main
July 10, 2024 13:08 22s
chore: switch to lakefile.toml build lean4-cli #79: Commit bf066c3 pushed by mhuisi
July 10, 2024 13:03 20s nightly
nightly
July 10, 2024 13:03 20s
Merge branch 'nightly' build lean4-cli #78: Commit a115660 pushed by mhuisi
April 25, 2024 13:20 21s v2.2.0-lv4.7.0
v2.2.0-lv4.7.0
April 25, 2024 13:20 21s
Merge branch 'nightly' build lean4-cli #77: Commit a115660 pushed by mhuisi
April 25, 2024 12:59 21s main
main
April 25, 2024 12:59 21s
chore: update nightly version and add lake-manifest.json build lean4-cli #76: Commit 10d88b5 pushed by mhuisi
April 25, 2024 12:54 26s nightly
nightly
April 25, 2024 12:54 26s
doc: link to lake in lean4 in README build lean4-cli #75: Commit be8fa79 pushed by mhuisi
March 6, 2024 08:29 22s main
main
March 6, 2024 08:29 22s
Merge branch 'nightly' build lean4-cli #74: Commit a751d21 pushed by mhuisi
September 21, 2023 09:29 38s main
main
September 21, 2023 09:29 38s
doc: adjust README for move to leanprover build lean4-cli #73: Commit 39229f3 pushed by mhuisi
September 21, 2023 09:29 29s nightly
nightly
September 21, 2023 09:29 29s
chore: update toolchain to first stable release build lean4-cli #72: Commit 2245a1d pushed by mhuisi
September 21, 2023 08:57 38s v2.2.0-lv4.0.0
v2.2.0-lv4.0.0
September 21, 2023 08:57 38s
chore: update toolchain to first stable release build lean4-cli #71: Commit 2245a1d pushed by mhuisi
September 21, 2023 08:53 31s main
main
September 21, 2023 08:53 31s
chore: update action build lean4-cli #70: Commit 1d0770c pushed by mhuisi
September 21, 2023 08:42 33s nightly
nightly
September 21, 2023 08:42 33s