Skip to content

Actions: eshelyaron/lean4-bdd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
Bump 4.32.0 Lean Action CI #77: Pull request #8 opened by AmosNico
3m 17s AmosNico:bump-4.32.0
AmosNico:bump-4.32.0
3m 17s
Bump 4.31.0 Lean Action CI #76: Pull request #7 opened by AmosNico
3m 28s AmosNico:bump-4.31.0
AmosNico:bump-4.31.0
3m 28s
Add modules Lean Action CI #75: Pull request #5 synchronize by AmosNico
3m 50s AmosNico:modules
AmosNico:modules
3m 50s
Bump 4.30.0 Lean Action CI #74: Pull request #6 synchronize by AmosNico
3m 40s AmosNico:bump-4.30.0
AmosNico:bump-4.30.0
3m 40s
Merge remote-tracking branch 'amos/bump-4.29.0' Lean release tag #1: Commit fc34710 pushed by eshelyaron
12s main
main
12s
Merge remote-tracking branch 'amos/bump-4.29.0' Lean Action CI #73: Commit fc34710 pushed by eshelyaron
3m 34s main
main
3m 34s
Refactor Reduce and finish correctness proof Lean Action CI #72: Commit a5ab804 pushed by eshelyaron
4m 25s main
main
4m 25s
Add modules Lean Action CI #71: Pull request #5 synchronize by AmosNico
1m 23s AmosNico:modules
AmosNico:modules
1m 23s
Add modules Lean Action CI #70: Pull request #5 synchronize by AmosNico
1m 38s AmosNico:modules
AmosNico:modules
1m 38s
Bump 4.30.0 Lean Action CI #69: Pull request #6 opened by AmosNico
3m 9s AmosNico:bump-4.30.0
AmosNico:bump-4.30.0
3m 9s
Add modules Lean Action CI #68: Pull request #5 synchronize by AmosNico
1m 41s AmosNico:modules
AmosNico:modules
1m 41s
update to Lean 4.29.0 Lean Action CI #67: Pull request #4 synchronize by AmosNico
3m 11s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
3m 11s
Add modules Lean Action CI #66: Pull request #5 synchronize by AmosNico
1m 28s AmosNico:modules
AmosNico:modules
1m 28s
Add modules Lean Action CI #65: Pull request #5 synchronize by AmosNico
1m 50s AmosNico:modules
AmosNico:modules
1m 50s
Add modules Lean Action CI #64: Pull request #5 synchronize by AmosNico
3m 2s AmosNico:modules
AmosNico:modules
3m 2s
Add modules Lean Action CI #63: Pull request #5 synchronize by AmosNico
2m 10s AmosNico:modules
AmosNico:modules
2m 10s
Add modules Lean Action CI #62: Pull request #5 opened by AmosNico
4m 7s AmosNico:modules
AmosNico:modules
4m 7s
update to Lean 4.29.0 Lean Action CI #61: Pull request #4 synchronize by AmosNico
2m 58s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
2m 58s
update to Lean 4.29.0 Lean Action CI #60: Pull request #4 synchronize by AmosNico
Queued AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
Queued
update to Lean 4.29.0 Lean Action CI #59: Pull request #4 synchronize by AmosNico
1m 16s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
1m 16s
update to Lean 4.29.0 Lean Action CI #58: Pull request #4 synchronize by AmosNico
1m 36s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
1m 36s
update to Lean 4.29.0 Lean Action CI #57: Pull request #4 synchronize by AmosNico
1m 28s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
1m 28s
update to Lean 4.29.0 Lean Action CI #56: Pull request #4 synchronize by AmosNico
2m 47s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
2m 47s
update to Lean 4.29.0 Lean Action CI #55: Pull request #4 synchronize by AmosNico
2m 52s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
2m 52s
update to Lean 4.29.0 Lean Action CI #54: Pull request #4 reopened by AmosNico
3m 11s AmosNico:bump-4.29.0
AmosNico:bump-4.29.0
3m 11s