Skip to content

Actions: lean-dojo/ReProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update README.md Black Code Formatter #147: Commit aae0b36 pushed by yangky11
January 17, 2024 20:26 19s main
main
January 17, 2024 20:26 19s
minor update Black Code Formatter #143: Commit 7befc8c pushed by yangky11
December 28, 2023 02:00 21s decoder-only
decoder-only
December 28, 2023 02:00 21s
minor update Black Code Formatter #142: Commit 27317a8 pushed by yangky11
December 28, 2023 01:53 18s decoder-only
decoder-only
December 28, 2023 01:53 18s
training EleutherAI/llemma_7b Black Code Formatter #141: Commit 5230a5a pushed by yangky11
December 27, 2023 17:17 19s decoder-only
decoder-only
December 27, 2023 17:17 19s
CPU offloading too slow Black Code Formatter #140: Commit 7b69c08 pushed by yangky11
December 26, 2023 18:20 21s decoder-only
decoder-only
December 26, 2023 18:20 21s
Update README.md Black Code Formatter #139: Commit 3aaf63c pushed by yangky11
December 26, 2023 15:59 22s main
main
December 26, 2023 15:59 22s
Merge pull request #39 from lean-dojo/dev Black Code Formatter #138: Commit 43fbfe6 pushed by yangky11
December 25, 2023 23:45 18s main
main
December 25, 2023 23:45 18s
Merge pull request #38 from lean-dojo/main Black Code Formatter #137: Pull request #39 opened by yangky11
December 25, 2023 23:45 22s dev
dev
December 25, 2023 23:45 22s
Merge pull request #38 from lean-dojo/main Black Code Formatter #136: Commit 6e735a9 pushed by yangky11
December 25, 2023 23:45 19s dev
dev
December 25, 2023 23:45 19s
sync with dev Black Code Formatter #135: Pull request #38 opened by yangky11
December 25, 2023 23:45 18s main
main
December 25, 2023 23:45 18s
Merge pull request #37 from lean-dojo/dev Black Code Formatter #134: Commit efe349e pushed by yangky11
December 13, 2023 18:35 22s main
main
December 13, 2023 18:35 22s
remove tree from SearchResult for efficiency Black Code Formatter #133: Pull request #37 opened by yangky11
December 13, 2023 18:35 24s dev
dev
December 13, 2023 18:35 24s
remove tree from SearchResult for efficiency Black Code Formatter #132: Commit 5a84be1 pushed by yangky11
December 13, 2023 18:31 27s dev
dev
December 13, 2023 18:31 27s
Merge pull request #36 from lean-dojo/dev Black Code Formatter #131: Commit 1fdcfe2 pushed by yangky11
December 10, 2023 17:58 18s main
main
December 10, 2023 17:58 18s
update readme Black Code Formatter #130: Pull request #36 opened by yangky11
December 10, 2023 17:58 18s dev
dev
December 10, 2023 17:58 18s
update readme Black Code Formatter #129: Commit cd69680 pushed by yangky11
December 10, 2023 17:30 22s dev
dev
December 10, 2023 17:30 22s
Merge pull request #35 from lean-dojo/dev Black Code Formatter #128: Commit b9298ae pushed by yangky11
December 4, 2023 17:14 17s main
main
December 4, 2023 17:14 17s
Don't evaluate during validation Black Code Formatter #127: Pull request #35 synchronize by yangky11
December 4, 2023 17:12 20s dev
dev
December 4, 2023 17:12 20s
Merge branch 'dev' of github.com:lean-dojo/ReProver into dev Black Code Formatter #126: Commit 27eb395 pushed by yangky11
December 4, 2023 17:12 19s dev
dev
December 4, 2023 17:12 19s
Don't evaluate during validation Black Code Formatter #125: Pull request #35 synchronize by yangky11
December 4, 2023 17:11 21s dev
dev
December 4, 2023 17:11 21s
Merge branch 'main' into dev Black Code Formatter #124: Commit 792d3fa pushed by yangky11
December 4, 2023 17:11 19s dev
dev
December 4, 2023 17:11 19s
minor change Black Code Formatter #123: Commit e2272a5 pushed by yangky11
December 4, 2023 17:10 20s dev
dev
December 4, 2023 17:10 20s
do not evaluate during validation Black Code Formatter #122: Commit 1e8a526 pushed by yangky11
December 4, 2023 16:46 20s dev
dev
December 4, 2023 16:46 20s