Skip to content

Actions: 34j/best-of-lean4

Actions

update-best-of-list

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-best-of-list.yml
59 workflow runs
59 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
update-best-of-list update-best-of-list #9: Scheduled
November 16, 2023 18:08 1m 25s main
main
November 16, 2023 18:08 1m 25s
docs: best-of update 2023.11.12-11.18 (#10) update-best-of-list #8: Commit 9df5694 pushed by 34j
November 13, 2023 00:33 1m 40s main
main
November 13, 2023 00:33 1m 40s
ci: run on push update-best-of-list #7: Commit 03b8073 pushed by 34j
November 12, 2023 11:17 1m 44s main
main
November 12, 2023 11:17 1m 44s
update-best-of-list update-best-of-list #6: Manually run by 34j
November 12, 2023 09:49 1m 49s main
main
November 12, 2023 09:49 1m 49s
update-best-of-list update-best-of-list #5: Manually run by 34j
November 12, 2023 07:31 1m 44s main
main
November 12, 2023 07:31 1m 44s
update-best-of-list update-best-of-list #4: Manually run by 34j
November 12, 2023 07:19 1m 21s main
main
November 12, 2023 07:19 1m 21s
update-best-of-list update-best-of-list #3: Manually run by 34j
November 12, 2023 07:00 1m 27s main
main
November 12, 2023 07:00 1m 27s
update-best-of-list update-best-of-list #2: Manually run by 34j
November 12, 2023 05:51 1m 33s main
main
November 12, 2023 05:51 1m 33s
update-best-of-list update-best-of-list #1: Manually run by 34j
November 11, 2023 08:24 1m 12s main
main
November 11, 2023 08:24 1m 12s