Skip to content

Actions: lean-dojo/LeanDojo-v2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump toolchain Pytest #57: Commit 56c4dfa pushed by durant42040
4m 27s main
main
4m 27s
bump toolchain CI #61: Commit 56c4dfa pushed by durant42040
1m 29s main
main
1m 29s
Update README Pytest #56: Commit 15de6e8 pushed by durant42040
2m 31s main
main
2m 31s
Update README CI #60: Commit 15de6e8 pushed by durant42040
1m 2s main
main
1m 2s
fix duplicate theorem count Pytest #55: Commit 404d7eb pushed by durant42040
2m 24s main
main
2m 24s
fix duplicate theorem count CI #59: Commit 404d7eb pushed by durant42040
59s main
main
59s
initial commit CI #58: Commit 5ae3c42 pushed by durant42040
3m 7s main
main
3m 7s
initial commit Pytest #54: Commit 5ae3c42 pushed by durant42040
3m 41s main
main
3m 41s
update README CI #57: Commit 1ec90a6 pushed by durant42040
2m 23s main
main
2m 23s
update README Pytest #53: Commit 1ec90a6 pushed by durant42040
3m 47s main
main
3m 47s
update README Pytest #52: Commit 96eba1d pushed by durant42040
4m 11s main
main
4m 11s
update README CI #56: Commit 96eba1d pushed by durant42040
2m 18s main
main
2m 18s
update README Pytest #51: Commit 3bf5c71 pushed by durant42040
4m 45s main
main
4m 45s
update README CI #55: Commit 3bf5c71 pushed by durant42040
2m 9s main
main
2m 9s
update example CI #54: Commit 072df41 pushed by durant42040
3m 23s main
main
3m 23s
update example Pytest #50: Commit 072df41 pushed by durant42040
4m 14s main
main
4m 14s
add proof search example CI #53: Commit 2409b45 pushed by durant42040
2m 10s main
main
2m 10s
add proof search example Pytest #49: Commit 2409b45 pushed by durant42040
3m 55s main
main
3m 55s
add prove theorem example CI #52: Commit a9573fe pushed by durant42040
3m 36s main
main
3m 36s
add prove theorem example Pytest #48: Commit a9573fe pushed by durant42040
4m 21s main
main
4m 21s
init new db json CI #51: Commit 7c9e633 pushed by durant42040
2m 18s main
main
2m 18s
init new db json Pytest #47: Commit 7c9e633 pushed by durant42040
4m 58s main
main
4m 58s
fix grpo bug CI #50: Commit a47f579 pushed by durant42040
2m 11s main
main
2m 11s
fix grpo bug Pytest #46: Commit a47f579 pushed by durant42040
4m 21s main
main
4m 21s
bug fix Pytest #45: Commit 517310f pushed by durant42040
3m 43s main
main
3m 43s