Skip to content

Actions: 34j/best-of-lean4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
46 workflow runs
46 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
update-best-of-list update-best-of-list #43: Scheduled
June 6, 2024 18:09 1m 3s main
main
June 6, 2024 18:09 1m 3s
update-best-of-list update-best-of-list #42: Scheduled
May 30, 2024 18:11 1m 15s main
main
May 30, 2024 18:11 1m 15s
update-best-of-list update-best-of-list #41: Scheduled
May 23, 2024 18:09 1m 30s main
main
May 23, 2024 18:09 1m 30s
update-best-of-list update-best-of-list #40: Scheduled
May 16, 2024 18:09 1m 52s main
main
May 16, 2024 18:09 1m 52s
docs: best-of update 2024.05.09 (#43) update-best-of-list #39: Commit ccf2ab3 pushed by 34j
May 13, 2024 11:48 1m 35s main
main
May 13, 2024 11:48 1m 35s
update-best-of-list update-best-of-list #38: Scheduled
May 9, 2024 18:07 3m 13s main
main
May 9, 2024 18:07 3m 13s
update-best-of-list update-best-of-list #37: Scheduled
May 2, 2024 18:08 1m 42s main
main
May 2, 2024 18:08 1m 42s
update-best-of-list update-best-of-list #36: Scheduled
April 25, 2024 18:08 1m 17s main
main
April 25, 2024 18:08 1m 17s
update-best-of-list update-best-of-list #35: Scheduled
April 18, 2024 18:08 1m 34s main
main
April 18, 2024 18:08 1m 34s
update-best-of-list update-best-of-list #34: Scheduled
April 11, 2024 18:08 1m 30s main
main
April 11, 2024 18:08 1m 30s
docs: best-of update 2024.04.04 (#37) update-best-of-list #33: Commit 79a81a8 pushed by 34j
April 10, 2024 06:30 1m 3s main
main
April 10, 2024 06:30 1m 3s
update-best-of-list update-best-of-list #32: Scheduled
April 4, 2024 18:09 1m 40s main
main
April 4, 2024 18:09 1m 40s
update-best-of-list update-best-of-list #31: Scheduled
March 28, 2024 18:08 1m 33s main
main
March 28, 2024 18:08 1m 33s
update-best-of-list update-best-of-list #30: Scheduled
March 21, 2024 18:08 1m 8s main
main
March 21, 2024 18:08 1m 8s
update-best-of-list update-best-of-list #29: Scheduled
March 14, 2024 18:08 1m 28s main
main
March 14, 2024 18:08 1m 28s
update-best-of-list update-best-of-list #28: Scheduled
March 7, 2024 18:08 1m 31s main
main
March 7, 2024 18:08 1m 31s
update-best-of-list update-best-of-list #27: Scheduled
February 29, 2024 18:09 1m 10s main
main
February 29, 2024 18:09 1m 10s
update-best-of-list update-best-of-list #26: Scheduled
February 22, 2024 18:08 1m 24s main
main
February 22, 2024 18:08 1m 24s
update-best-of-list update-best-of-list #25: Scheduled
February 15, 2024 18:08 1m 36s main
main
February 15, 2024 18:08 1m 36s
docs: best-of update 2024.02.09 (#28) update-best-of-list #24: Commit 5948cea pushed by 34j
February 9, 2024 14:39 1m 33s main
main
February 9, 2024 14:39 1m 33s
feat: add CvxLean (#26) update-best-of-list #23: Commit 0423fcb pushed by 34j
February 9, 2024 03:37 1m 29s main
main
February 9, 2024 03:37 1m 29s
update-best-of-list update-best-of-list #22: Scheduled
February 8, 2024 18:08 1m 18s main
main
February 8, 2024 18:08 1m 18s
update-best-of-list update-best-of-list #21: Scheduled
February 1, 2024 18:08 1m 15s main
main
February 1, 2024 18:08 1m 15s
update-best-of-list update-best-of-list #20: Scheduled
January 25, 2024 18:09 1m 21s main
main
January 25, 2024 18:09 1m 21s
update-best-of-list update-best-of-list #19: Scheduled
January 18, 2024 18:09 1m 19s main
main
January 18, 2024 18:09 1m 19s