Skip to content

Actions: lean-dojo/ReProver

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
165 workflow runs
165 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update README.md Black Code Formatter #173: Commit fe8841b pushed by yangky11
May 10, 2024 20:51 19s main
main
May 10, 2024 20:51 19s
Update README.md Black Code Formatter #172: Commit 3d68aef pushed by yangky11
April 26, 2024 23:33 21s main
main
April 26, 2024 23:33 21s
update Black Code Formatter #171: Commit 060e67d pushed by yangky11
April 19, 2024 17:24 22s main
main
April 19, 2024 17:24 22s
decrease num_workers Black Code Formatter #170: Commit 116a7d5 pushed by yangky11
April 14, 2024 16:32 18s main
main
April 14, 2024 16:32 18s
format code Black Code Formatter #169: Commit 0b75b48 pushed by yangky11
April 14, 2024 15:23 22s main
main
April 14, 2024 15:23 22s
Merge pull request #49 from matt-seb-ho/evaluate-sorting-fix Black Code Formatter #168: Commit 285665c pushed by yangky11
April 14, 2024 15:13 19s main
main
April 14, 2024 15:13 19s
minor fix Black Code Formatter #167: Commit 4d6b89b pushed by yangky11
April 12, 2024 04:21 20s main
main
April 12, 2024 04:21 20s
exit early when a proof is found Black Code Formatter #166: Commit 6aaf3ac pushed by yangky11
April 11, 2024 03:15 21s main
main
April 11, 2024 03:15 21s
update Black Code Formatter #165: Commit d69dc30 pushed by yangky11
April 10, 2024 14:54 23s main
main
April 10, 2024 14:54 23s
format code Black Code Formatter #163: Commit bff3a51 pushed by yangky11
April 5, 2024 14:28 20s vLLM
vLLM
April 5, 2024 14:28 20s
format code Black Code Formatter #162: Commit bff3a51 pushed by yangky11
April 5, 2024 14:28 24s dev
dev
April 5, 2024 14:28 24s
Merge pull request #40 from albertqjiang/aj/vllm_enabled Black Code Formatter #161: Commit 3236b83 pushed by yangky11
April 5, 2024 14:04 24s dev
dev
April 5, 2024 14:04 24s
Enabling vllm-based prover Black Code Formatter #160: Pull request #40 synchronize by yangky11
April 5, 2024 14:04 22s albertqjiang:aj/vllm_enabled
albertqjiang:aj/vllm_enabled
April 5, 2024 14:04 22s
update Black Code Formatter #159: Commit 822dcb1 pushed by yangky11
April 5, 2024 02:56 19s dev
dev
April 5, 2024 02:56 19s
update Black Code Formatter #158: Commit 822dcb1 pushed by yangky11
April 4, 2024 22:21 19s main
main
April 4, 2024 22:21 19s
running Black Code Formatter #157: Commit a8fe037 pushed by yangky11
March 30, 2024 23:38 18s main
main
March 30, 2024 23:38 18s
Merge branch 'main' of https://github.com/lean-dojo/ReProver Black Code Formatter #156: Commit db2744d pushed by yangky11
March 24, 2024 17:44 22s main
main
March 24, 2024 17:44 22s
Update README.md Black Code Formatter #155: Commit bb3c1cf pushed by yangky11
March 23, 2024 03:08 19s main
main
March 23, 2024 03:08 19s
update date Black Code Formatter #154: Commit 0dbb82e pushed by yangky11
March 16, 2024 02:12 18s main
main
March 16, 2024 02:12 18s
Merge branch 'main' of github.com:lean-dojo/ReProver Black Code Formatter #153: Commit 8be250f pushed by yangky11
March 16, 2024 01:56 22s main
main
March 16, 2024 01:56 22s
Update README.md Black Code Formatter #152: Commit b89e258 pushed by yangky11
March 13, 2024 03:36 18s main
main
March 13, 2024 03:36 18s
format code Black Code Formatter #151: Commit b904402 pushed by yangky11
March 13, 2024 03:34 21s legacy
legacy
March 13, 2024 03:34 21s
format code Black Code Formatter #150: Commit b904402 pushed by yangky11
March 13, 2024 03:31 18s main
main
March 13, 2024 03:31 18s
Update README.md Black Code Formatter #149: Commit 9d4e09a pushed by yangky11
March 13, 2024 02:51 20s main
main
March 13, 2024 02:51 20s
Update README.md Black Code Formatter #148: Commit f705b0b pushed by yangky11
January 17, 2024 20:40 21s main
main
January 17, 2024 20:40 21s