Skip to content

Actions: leanprover/lean4-cli

Actions

build lean4-cli

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
203 workflow runs
203 workflow runs

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
Support accumulating repeatable flags build lean4-cli #385: Pull request #92 opened by mirryi
Action required mirryi:main
mirryi:main
Action required
chore: bump toolchain to v4.33.0-rc1 (#91) build lean4-cli #384: Commit da07ca8 pushed by Garmelon
1m 16s v4.33.0-rc1
v4.33.0-rc1
1m 16s
chore: bump toolchain to v4.33.0-rc1 (#91) build lean4-cli #383: Commit da07ca8 pushed by Garmelon
1m 36s main
main
1m 36s
chore: bump toolchain to v4.33.0-rc1 build lean4-cli #382: Pull request #91 synchronize by Garmelon
49m 17s bump-to-v4.33.0-rc1
bump-to-v4.33.0-rc1
49m 17s
chore: bump toolchain to v4.33.0-rc1 build lean4-cli #381: Commit 1f91dc2 pushed by Garmelon
49m 29s bump-to-v4.33.0-rc1
bump-to-v4.33.0-rc1
49m 29s
chore: bump toolchain to v4.33.0-rc1 build lean4-cli #380: Commit 598ed6d pushed by Garmelon
25s bump-to-v4.33.0-rc1
bump-to-v4.33.0-rc1
25s
chore: bump toolchain to v4.32.0 (#90) build lean4-cli #379: Commit 88679d0 pushed by Garmelon
23s v4.32.0
v4.32.0
23s
chore: bump toolchain to v4.32.0 (#90) build lean4-cli #378: Commit 88679d0 pushed by Garmelon
31s main
main
31s
chore: bump toolchain to v4.32.0 build lean4-cli #377: Pull request #90 opened by Garmelon
29s bump-to-v4.32.0
bump-to-v4.32.0
29s
chore: bump toolchain to v4.32.0 build lean4-cli #376: Commit 59837e7 pushed by Garmelon
4m 22s bump-to-v4.32.0
bump-to-v4.32.0
4m 22s
chore: bump toolchain to v4.32.0-rc1 (#88) build lean4-cli #375: Commit 406ebb8 pushed by Garmelon
28s nightly-testing
nightly-testing
28s
chore: bump toolchain to v4.32.0-rc1 (#88) build lean4-cli #374: Commit 406ebb8 pushed by Garmelon
33s v4.32.0-rc1
v4.32.0-rc1
33s
chore: bump toolchain to v4.32.0-rc1 (#88) build lean4-cli #373: Commit 406ebb8 pushed by Garmelon
28s main
main
28s
chore: bump toolchain to v4.32.0-rc1 build lean4-cli #372: Pull request #88 opened by Garmelon
27s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
27s
chore: bump toolchain to v4.32.0-rc1 build lean4-cli #371: Commit b6e2250 pushed by Garmelon
28s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
28s
chore: bump toolchain to v4.31.0 (#87) build lean4-cli #370: Commit 92564e5 pushed by Garmelon
25s v4.31.0
v4.31.0
25s
chore: bump toolchain to v4.31.0 (#87) build lean4-cli #369: Commit 92564e5 pushed by Garmelon
25s main
main
25s
chore: bump toolchain to v4.31.0 build lean4-cli #368: Pull request #87 opened by Garmelon
23s bump-to-v4.31.0
bump-to-v4.31.0
23s
chore: bump toolchain to v4.31.0 build lean4-cli #367: Commit 4b7075f pushed by Garmelon
34s bump-to-v4.31.0
bump-to-v4.31.0
34s
chore: bump toolchain to v4.31.0-rc2 (#86) build lean4-cli #366: Commit baf3e62 pushed by Garmelon
26s v4.31.0-rc2
v4.31.0-rc2
26s
chore: bump toolchain to v4.31.0-rc2 (#86) build lean4-cli #365: Commit baf3e62 pushed by Garmelon
36s main
main
36s
chore: bump toolchain to v4.31.0-rc2 build lean4-cli #364: Pull request #86 opened by Garmelon
26s bump-to-v4.31.0-rc2
bump-to-v4.31.0-rc2
26s
chore: bump toolchain to v4.31.0-rc2 build lean4-cli #363: Commit 9e3fadf pushed by Garmelon
25s bump-to-v4.31.0-rc2
bump-to-v4.31.0-rc2
25s
chore: bump toolchain to v4.31.0-rc1 (#85) build lean4-cli #362: Commit 48bdcff pushed by Garmelon
26s nightly-testing
nightly-testing
26s
chore: bump toolchain to v4.31.0-rc1 (#85) build lean4-cli #361: Commit 48bdcff pushed by Garmelon
27s v4.31.0-rc1
v4.31.0-rc1
27s