Skip to content

Actions: lean-dojo/ReProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Black Code Formatter #92: Commit 40feba0 pushed by yangky11
September 9, 2023 21:03 1m 3s main
main
September 9, 2023 21:03 1m 3s
Update README.md Black Code Formatter #91: Commit 047f737 pushed by yangky11
September 9, 2023 21:02 35s main
main
September 9, 2023 21:02 35s
change TacticError to LeanError Black Code Formatter #90: Commit acc6fd3 pushed by yangky11
August 28, 2023 03:43 24s main
main
August 28, 2023 03:43 24s
Update formatting Black Code Formatter #89: Commit 1024c1f pushed by rchalamala
August 21, 2023 17:23 26s causallm
causallm
August 21, 2023 17:23 26s
Add CausalLM support Black Code Formatter #88: Commit f21b00a pushed by rchalamala
August 21, 2023 17:16 26s causallm
causallm
August 21, 2023 17:16 26s
add files Black Code Formatter #87: Commit 30ad404 pushed by yangky11
August 18, 2023 15:15 26s lean4
lean4
August 18, 2023 15:15 26s
Update download_data.py Black Code Formatter #86: Commit e19e24c pushed by yangky11
August 14, 2023 01:17 25s main
main
August 14, 2023 01:17 25s
Update README.md Black Code Formatter #85: Commit 6d40cbf pushed by yangky11
August 13, 2023 18:55 26s main
main
August 13, 2023 18:55 26s
Add files via upload Black Code Formatter #84: Commit 2f082b3 pushed by yangky11
August 13, 2023 18:53 29s main
main
August 13, 2023 18:53 29s