Skip to content

Actions: 34j/best-of-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update-best-of-list update-best-of-list #117: Scheduled
March 6, 2025 18:12 1m 46s main
main
March 6, 2025 18:12 1m 46s
update-best-of-list update-best-of-list #116: Scheduled
February 27, 2025 18:12 2m 5s main
main
February 27, 2025 18:12 2m 5s
update-best-of-list update-best-of-list #115: Scheduled
February 20, 2025 18:12 1m 56s main
main
February 20, 2025 18:12 1m 56s
update-best-of-list update-best-of-list #114: Scheduled
February 13, 2025 18:12 1m 34s main
main
February 13, 2025 18:12 1m 34s
update-best-of-list update-best-of-list #113: Scheduled
February 6, 2025 18:12 2m 11s main
main
February 6, 2025 18:12 2m 11s
update-best-of-list update-best-of-list #112: Scheduled
January 30, 2025 18:12 2m 21s main
main
January 30, 2025 18:12 2m 21s
chore(deps): update pre-commit hook codespell-project/codespell to v2… update-best-of-list #111: Commit 81add84 pushed by renovate bot
January 29, 2025 02:02 1m 47s main
main
January 29, 2025 02:02 1m 47s
update-best-of-list update-best-of-list #110: Scheduled
January 23, 2025 18:12 1m 39s main
main
January 23, 2025 18:12 1m 39s
chore(deps): update pre-commit hook codespell-project/codespell to v2… update-best-of-list #109: Commit 065d6bc pushed by renovate bot
January 22, 2025 02:09 1m 48s main
main
January 22, 2025 02:09 1m 48s
update-best-of-list update-best-of-list #108: Scheduled
January 16, 2025 18:11 1m 58s main
main
January 16, 2025 18:11 1m 58s
update-best-of-list update-best-of-list #107: Scheduled
January 9, 2025 18:12 1m 37s main
main
January 9, 2025 18:12 1m 37s
update-best-of-list update-best-of-list #106: Scheduled
January 2, 2025 18:12 1m 57s main
main
January 2, 2025 18:12 1m 57s
update-best-of-list update-best-of-list #105: Scheduled
December 26, 2024 18:12 2m 12s main
main
December 26, 2024 18:12 2m 12s
docs: best-of update 2024.12.19-23.56 (#116) update-best-of-list #104: Commit dcf8552 pushed by 34j
December 20, 2024 06:58 1m 40s main
main
December 20, 2024 06:58 1m 40s
feat: add LeanCopilot (#115) update-best-of-list #103: Commit 54be6b2 pushed by 34j
December 19, 2024 23:55 1m 54s main
main
December 19, 2024 23:55 1m 54s
update-best-of-list update-best-of-list #102: Scheduled
December 19, 2024 18:12 1m 59s main
main
December 19, 2024 18:12 1m 59s
docs: best-of update 2024.12.12 (#112) update-best-of-list #101: Commit 29c8de7 pushed by 34j
December 19, 2024 09:07 1m 44s main
main
December 19, 2024 09:07 1m 44s
update-best-of-list update-best-of-list #100: Scheduled
December 12, 2024 18:13 1m 41s main
main
December 12, 2024 18:13 1m 41s
update-best-of-list update-best-of-list #99: Scheduled
December 5, 2024 18:11 1m 48s main
main
December 5, 2024 18:11 1m 48s
update-best-of-list update-best-of-list #98: Scheduled
November 28, 2024 18:12 2m 5s main
main
November 28, 2024 18:12 2m 5s
update-best-of-list update-best-of-list #97: Scheduled
November 21, 2024 18:12 1m 36s main
main
November 21, 2024 18:12 1m 36s
chore(deps): update pre-commit hook commitizen-tools/commitizen to v3… update-best-of-list #96: Commit 247523e pushed by renovate bot
November 16, 2024 13:53 1m 38s main
main
November 16, 2024 13:53 1m 38s
update-best-of-list update-best-of-list #95: Scheduled
November 14, 2024 18:12 1m 49s main
main
November 14, 2024 18:12 1m 49s
chore(deps): update pre-commit hook commitizen-tools/commitizen to v3… update-best-of-list #94: Commit 343875a pushed by renovate bot
November 10, 2024 06:18 1m 24s main
main
November 10, 2024 06:18 1m 24s
update-best-of-list update-best-of-list #93: Scheduled
November 7, 2024 18:11 1m 54s main
main
November 7, 2024 18:11 1m 54s