Skip to content

Actions: 34j/best-of-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docs: best-of update 2024.10.31 (#100) update-best-of-list #92: Commit 1375521 pushed by 34j
November 2, 2024 01:33 1m 40s main
main
November 2, 2024 01:33 1m 40s
update-best-of-list update-best-of-list #91: Scheduled
October 31, 2024 18:12 1m 32s main
main
October 31, 2024 18:12 1m 32s
update-best-of-list update-best-of-list #90: Scheduled
October 24, 2024 18:12 1m 57s main
main
October 24, 2024 18:12 1m 57s
chore(deps): update pre-commit hook commitizen-tools/commitizen to v3… update-best-of-list #89: Commit e836c86 pushed by renovate bot
October 23, 2024 19:59 2m 21s main
main
October 23, 2024 19:59 2m 21s
update-best-of-list update-best-of-list #88: Scheduled
October 17, 2024 18:11 1m 36s main
main
October 17, 2024 18:11 1m 36s
update-best-of-list update-best-of-list #87: Scheduled
October 10, 2024 18:11 1m 28s main
main
October 10, 2024 18:11 1m 28s
update-best-of-list update-best-of-list #86: Scheduled
October 3, 2024 18:11 1m 56s main
main
October 3, 2024 18:11 1m 56s
update-best-of-list update-best-of-list #85: Scheduled
September 26, 2024 18:10 1m 31s main
main
September 26, 2024 18:10 1m 31s
chore(deps): update pre-commit hook commitizen-tools/commitizen to v3… update-best-of-list #84: Commit 79a143b pushed by renovate bot
September 26, 2024 17:07 1m 28s main
main
September 26, 2024 17:07 1m 28s
update-best-of-list update-best-of-list #83: Scheduled
September 19, 2024 18:11 1m 29s main
main
September 19, 2024 18:11 1m 29s
feat: add Reservoir to tools (#86) update-best-of-list #82: Commit 463607c pushed by 34j
September 19, 2024 05:29 1m 22s main
main
September 19, 2024 05:29 1m 22s
feat: add LeanDojo (#84) update-best-of-list #81: Commit dad3185 pushed by 34j
September 16, 2024 12:55 1m 26s main
main
September 16, 2024 12:55 1m 26s
feat: update Lean by Example (#79) update-best-of-list #80: Commit ef57b14 pushed by 34j
September 16, 2024 12:51 2m 3s main
main
September 16, 2024 12:51 2m 3s
ci: update ci update-best-of-list #79: Commit eefe159 pushed by 34j
September 16, 2024 11:13 1m 21s main
main
September 16, 2024 11:13 1m 21s
update-best-of-list update-best-of-list #78: Manually run by 34j
September 16, 2024 11:09 1m 38s main
main
September 16, 2024 11:09 1m 38s
update-best-of-list update-best-of-list #77: Manually run by 34j
September 16, 2024 11:05 1m 15s main
main
September 16, 2024 11:05 1m 15s
update-best-of-list update-best-of-list #76: Manually run by 34j
September 16, 2024 11:02 1m 10s main
main
September 16, 2024 11:02 1m 10s
style: add prettier-ignore (#80) update-best-of-list #75: Commit da7b461 pushed by 34j
September 16, 2024 10:56 1m 25s main
main
September 16, 2024 10:56 1m 25s
chore(deps): update stefanzweifel/git-auto-commit-action action to v5… update-best-of-list #74: Commit 3c5f721 pushed by 34j
September 16, 2024 10:35 1m 28s main
main
September 16, 2024 10:35 1m 28s
chore(pre-commit.ci): pre-commit autoupdate (#12) update-best-of-list #73: Commit daa2580 pushed by 34j
September 16, 2024 10:34 32s main
main
September 16, 2024 10:34 32s
chore(deps): update peterjgrainger/action-create-branch action to v3 … update-best-of-list #72: Commit 1634dec pushed by 34j
September 16, 2024 10:34 42s main
main
September 16, 2024 10:34 42s
chore(deps): update actions/checkout action to v4 (#58) update-best-of-list #71: Commit a0bc8b9 pushed by 34j
September 16, 2024 10:34 33s main
main
September 16, 2024 10:34 33s
update-best-of-list update-best-of-list #70: Scheduled
September 12, 2024 18:12 1m 9s main
main
September 12, 2024 18:12 1m 9s