Skip to content

Actions: leanprover/lean4-cli

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 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: bump toolchain to v4.34.0-rc2 (#96) build lean4-cli #402: Commit ab3a82d pushed by kim-em
41s v4.34.0-rc2
v4.34.0-rc2
41s
chore: bump toolchain to v4.34.0-rc2 (#96) build lean4-cli #401: Commit ab3a82d pushed by kim-em
24s main
main
24s
chore: bump toolchain to v4.34.0-rc2 build lean4-cli #400: Pull request #96 opened by kim-em
26s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
26s
chore: bump toolchain to v4.34.0-rc2 build lean4-cli #399: Commit af01b1d pushed by kim-em
37s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
37s
chore: bump toolchain to v4.34.0-rc1 (#95) build lean4-cli #398: Commit af8bc06 pushed by Garmelon
28s nightly-testing
nightly-testing
28s
chore: bump toolchain to v4.34.0-rc1 (#95) build lean4-cli #397: Commit af8bc06 pushed by Garmelon
25s v4.34.0-rc1
v4.34.0-rc1
25s
chore: bump toolchain to v4.34.0-rc1 (#95) build lean4-cli #396: Commit af8bc06 pushed by Garmelon
34s main
main
34s
chore: bump toolchain to v4.34.0-rc1 build lean4-cli #395: Pull request #95 opened by Garmelon
32s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
32s
chore: bump toolchain to v4.34.0-rc1 build lean4-cli #394: Commit 0cbd87b pushed by Garmelon
35s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
35s
chore: bump toolchain to v4.33.0 (#94) build lean4-cli #393: Commit 6130a47 pushed by Garmelon
27s v4.33.0
v4.33.0
27s
chore: bump toolchain to v4.33.0 (#94) build lean4-cli #392: Commit 6130a47 pushed by Garmelon
25s main
main
25s
chore: bump toolchain to v4.33.0 build lean4-cli #391: Pull request #94 opened by Garmelon
24s bump-to-v4.33.0
bump-to-v4.33.0
24s
chore: bump toolchain to v4.33.0 build lean4-cli #390: Commit 71f0bec pushed by Garmelon
36s bump-to-v4.33.0
bump-to-v4.33.0
36s
chore: bump toolchain to v4.33.0-rc2 (#93) build lean4-cli #389: Commit 1319485 pushed by Garmelon
35s v4.33.0-rc2
v4.33.0-rc2
35s
chore: bump toolchain to v4.33.0-rc2 (#93) build lean4-cli #388: Commit 1319485 pushed by Garmelon
31s main
main
31s
chore: bump toolchain to v4.33.0-rc2 build lean4-cli #387: Pull request #93 opened by Garmelon
25s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
25s
chore: bump toolchain to v4.33.0-rc2 build lean4-cli #386: Commit 83e222e pushed by Garmelon
33s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
33s
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