Skip to content

Actions: leanprover/lp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
460 workflow runs
460 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
Update Lean and dependencies Update Lean and dependencies #52: Scheduled
1m 27s main
main
1m 27s
chore: bump toolchain to v4.33.1 (#182) check-pins #56: Commit e87b229 pushed by kim-em
10s main
main
10s
chore: bump toolchain to v4.33.1 (#182) CI #352: Commit e87b229 pushed by kim-em
15m 54s main
main
15m 54s
chore: bump toolchain to v4.33.1 check-pins #55: Pull request #182 synchronize by kim-em
8s bump-toolchain-v4.33.1
bump-toolchain-v4.33.1
8s
chore: bump toolchain to v4.33.1 CI #351: Pull request #182 synchronize by kim-em
11m 35s bump-toolchain-v4.33.1
bump-toolchain-v4.33.1
11m 35s
chore: bump toolchain to v4.33.1 CI #350: Pull request #182 opened by kim-em
8m 59s bump-toolchain-v4.33.1
bump-toolchain-v4.33.1
8m 59s
chore: bump toolchain to v4.33.1 check-pins #54: Pull request #182 opened by kim-em
10s bump-toolchain-v4.33.1
bump-toolchain-v4.33.1
10s
Update Lean and dependencies Update Lean and dependencies #51: Scheduled
1m 6s main
main
1m 6s
Update Lean and dependencies Update Lean and dependencies #50: Scheduled
1m 35s main
main
1m 35s
Update Lean and dependencies Update Lean and dependencies #49: Scheduled
1m 7s main
main
1m 7s
check-pins check-pins #53: Scheduled
12s main
main
12s
Update Lean and dependencies Update Lean and dependencies #48: Scheduled
1m 24s main
main
1m 24s
Update Lean and dependencies Update Lean and dependencies #47: Scheduled
1m 3s main
main
1m 3s
Update Lean and dependencies Update Lean and dependencies #46: Scheduled
1m 15s main
main
1m 15s
Update Lean and dependencies Update Lean and dependencies #45: Scheduled
1m 9s main
main
1m 9s
Update Lean and dependencies Update Lean and dependencies #44: Scheduled
9s main
main
9s
Update Lean and dependencies Update Lean and dependencies #43: Scheduled
1m 15s main
main
1m 15s
Update Lean and dependencies Update Lean and dependencies #42: Scheduled
1m 0s main
main
1m 0s
check-pins check-pins #52: Scheduled
9s main
main
9s
Update Lean and dependencies Update Lean and dependencies #41: Scheduled
1m 3s main
main
1m 3s
Update Lean and dependencies Update Lean and dependencies #40: Scheduled
1m 3s main
main
1m 3s
Update Lean and dependencies Update Lean and dependencies #39: Scheduled
1m 41s main
main
1m 41s
Update Lean and dependencies Update Lean and dependencies #38: Scheduled
1m 34s main
main
1m 34s
Update Lean and dependencies Update Lean and dependencies #37: Scheduled
1m 1s main
main
1m 1s
Update Lean and dependencies Update Lean and dependencies #36: Scheduled
1m 0s main
main
1m 0s