Skip to content

Actions: lean-dojo/ReProver

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
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