Skip to content

Actions: lean-dojo/ReProver

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Missing TimeoutError by Replacing with DojoTacticTimeoutError Black Code Formatter #204: Pull request #75 opened by euclidgame
January 29, 2025 20:34 Action required euclidgame:time_out
euclidgame:time_out
January 29, 2025 20:34 Action required
Update tactic_generator.py Black Code Formatter #203: Commit b5c1e5b pushed by yangky11
August 29, 2024 14:07 24s main
main
August 29, 2024 14:07 24s
wip Black Code Formatter #202: Commit b37ca6e pushed by yangky11
August 25, 2024 03:55 19s async
async
August 25, 2024 03:55 19s
minor update Black Code Formatter #201: Commit 903fac4 pushed by yangky11
August 23, 2024 03:33 20s main
main
August 23, 2024 03:33 20s
fix vllm bugs Black Code Formatter #200: Commit 4ce2e67 pushed by yangky11
August 15, 2024 02:26 22s main
main
August 15, 2024 02:26 22s
minor update to preprocess Black Code Formatter #197: Commit 47ee563 pushed by yangky11
July 30, 2024 12:31 24s main
main
July 30, 2024 12:31 24s
polish the preprocess code Black Code Formatter #196: Commit 3cb2f0c pushed by yangky11
July 30, 2024 02:10 25s main
main
July 30, 2024 02:10 25s
Merge branch 'main' of github.com:lean-dojo/ReProver Black Code Formatter #195: Commit 655b1f0 pushed by yangky11
July 20, 2024 15:29 16s main
main
July 20, 2024 15:29 16s
Update README.md Black Code Formatter #194: Commit de11162 pushed by yangky11
July 20, 2024 15:27 20s main
main
July 20, 2024 15:27 20s
Merge branch 'main' of github.com:lean-dojo/ReProver Black Code Formatter #193: Commit 128213e pushed by yangky11
July 17, 2024 13:49 23s main
main
July 17, 2024 13:49 23s
Update README.md Black Code Formatter #192: Commit 273a689 pushed by yangky11
July 17, 2024 13:19 21s main
main
July 17, 2024 13:19 21s
Update README.md Black Code Formatter #191: Commit f8c04a1 pushed by yangky11
July 16, 2024 14:27 19s main
main
July 16, 2024 14:27 19s
Merge pull request #63 from lean-dojo/dev Black Code Formatter #190: Commit 87c13fd pushed by yangky11
July 16, 2024 14:24 23s main
main
July 16, 2024 14:24 23s
Update Checkpoints Format Black Code Formatter #189: Pull request #63 opened by yangky11
July 16, 2024 14:24 23s dev
dev
July 16, 2024 14:24 23s
update Black Code Formatter #188: Commit e643d94 pushed by yangky11
July 16, 2024 14:23 20s dev
dev
July 16, 2024 14:23 20s
minor fix Black Code Formatter #187: Commit e2ec3fd pushed by yangky11
July 15, 2024 12:54 24s dev
dev
July 15, 2024 12:54 24s
minor fix Black Code Formatter #186: Commit 4263cfb pushed by yangky11
July 13, 2024 07:25 18s dev
dev
July 13, 2024 07:25 18s
format code Black Code Formatter #185: Commit 1c2b541 pushed by yangky11
July 13, 2024 07:06 20s dev
dev
July 13, 2024 07:06 20s
add file Black Code Formatter #184: Commit d2de547 pushed by yangky11
July 12, 2024 19:01 21s dev
dev
July 12, 2024 19:01 21s
update Black Code Formatter #183: Commit 04c80fb pushed by yangky11
July 12, 2024 14:33 21s dev
dev
July 12, 2024 14:33 21s
update index.py Black Code Formatter #182: Commit 40e07a6 pushed by yangky11
July 12, 2024 14:06 21s dev
dev
July 12, 2024 14:06 21s
update Black Code Formatter #181: Commit a554532 pushed by yangky11
July 12, 2024 13:09 20s dev
dev
July 12, 2024 13:09 20s
vLLM + LLaMA works well Black Code Formatter #180: Commit 3c6dafd pushed by yangky11
July 9, 2024 00:49 19s torchtune
torchtune
July 9, 2024 00:49 19s
Merge pull request #61 from Peiyang-Song/main Black Code Formatter #179: Commit 00c3fb9 pushed by Peiyang-Song
July 8, 2024 09:46 23s main
main
July 8, 2024 09:46 23s
Minor fix to remove CI node warning Black Code Formatter #178: Pull request #61 opened by Peiyang-Song
July 8, 2024 09:45 19s main
main
July 8, 2024 09:45 19s