Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a runner that flushes LLM history on repeated errors Run pytest, ruff, and pyright #125: Commit 356df09 pushed by WeetHet
October 23, 2024 08:37 33s main
main
October 23, 2024 08:37 33s
Add a runner that flushes LLM history on repeated errors Run pytest, ruff, and pyright #124: Commit 8e8909d pushed by WeetHet
October 23, 2024 08:33 35s humaneval-nagini-cot-instruct-fixed
humaneval-nagini-cot-instruct-fixed
October 23, 2024 08:33 35s
Add a runner that flushes LLM history on repeated errors Run pytest, ruff, and pyright #123: Commit 8764f00 pushed by WeetHet
October 23, 2024 08:30 39s humaneval-nagini-cot-instruct-fixed
humaneval-nagini-cot-instruct-fixed
October 23, 2024 08:30 39s
add flushing on repeating errors Run pytest, ruff, and pyright #122: Commit 58cac1b pushed by WeetHet
October 23, 2024 08:18 29s humaneval-nagini-cot-instruct
humaneval-nagini-cot-instruct
October 23, 2024 08:18 29s
add flushing on repeating errors Run pytest, ruff, and pyright #121: Commit b19eb4f pushed by alex28sh
October 23, 2024 07:38 29s humaneval-nagini-cot-instruct
humaneval-nagini-cot-instruct
October 23, 2024 07:38 29s
changed prompt Run pytest, ruff, and pyright #120: Commit 57d2c71 pushed by alex28sh
October 21, 2024 10:57 24s humaneval-nagini-cot-instruct
humaneval-nagini-cot-instruct
October 21, 2024 10:57 24s
merge Run pytest, ruff, and pyright #119: Commit 169a48a pushed by alex28sh
October 21, 2024 07:44 30s humaneval-nagini-cot-instruct
humaneval-nagini-cot-instruct
October 21, 2024 07:44 30s
Format fix Run pytest, ruff, and pyright #118: Commit 7187636 pushed by gt22
October 17, 2024 15:32 32s validator-name-collision
validator-name-collision
October 17, 2024 15:32 32s
Format fix Run pytest, ruff, and pyright #117: Commit 93d87e2 pushed by gt22
October 17, 2024 15:31 28s validator-name-collision
validator-name-collision
October 17, 2024 15:31 28s
Fix name collision in validators Run pytest, ruff, and pyright #116: Commit d6749db pushed by gt22
October 17, 2024 15:30 21s validator-name-collision
validator-name-collision
October 17, 2024 15:30 21s
Allow running with pre/post-conditions removed (#12) Run pytest, ruff, and pyright #115: Commit 928d549 pushed by WeetHet
October 16, 2024 11:57 40s main
main
October 16, 2024 11:57 40s
Merge branch 'main' into conditions-run Run pytest, ruff, and pyright #114: Commit 76552e4 pushed by WeetHet
October 16, 2024 11:56 34s conditions-run
conditions-run
October 16, 2024 11:56 34s
Support adding text descriptions properly Run pytest, ruff, and pyright #113: Commit dcdc63e pushed by WeetHet
October 16, 2024 11:55 29s conditions-run
conditions-run
October 16, 2024 11:55 29s
Update humaneval-dafny to contain text descriptions Run pytest, ruff, and pyright #112: Commit b04444a pushed by WeetHet
October 16, 2024 10:34 27s conditions-run
conditions-run
October 16, 2024 10:34 27s
Add lost description for 002_truncate Run pytest, ruff, and pyright #111: Commit a67fce6 pushed by WeetHet
October 16, 2024 10:28 28s main
main
October 16, 2024 10:28 28s
Add support for removing impls and adding text descriptions Run pytest, ruff, and pyright #110: Commit 839bfc5 pushed by WeetHet
October 16, 2024 10:27 20s conditions-run
conditions-run
October 16, 2024 10:27 20s
Add support for removing impls and adding text descriptions Run pytest, ruff, and pyright #109: Commit 882f893 pushed by WeetHet
October 16, 2024 10:27 27s conditions-run
conditions-run
October 16, 2024 10:27 27s
Add conditions run to the archive Run pytest, ruff, and pyright #108: Commit bb158c6 pushed by WeetHet
October 10, 2024 11:08 31s conditions-run
conditions-run
October 10, 2024 11:08 31s
archive: add conditions run Run pytest, ruff, and pyright #107: Commit 281e319 pushed by WeetHet
October 10, 2024 11:07 28s conditions-run
conditions-run
October 10, 2024 11:07 28s
Support removing implementations Run pytest, ruff, and pyright #106: Commit 7542085 pushed by WeetHet
October 10, 2024 11:04 37s conditions-run
conditions-run
October 10, 2024 11:04 37s
Fix percentage display in script Run pytest, ruff, and pyright #105: Commit 4e26e59 pushed by WeetHet
October 10, 2024 09:56 37s conditions-run
conditions-run
October 10, 2024 09:56 37s
Get rid of shell Run pytest, ruff, and pyright #104: Commit a88e54f pushed by WeetHet
October 9, 2024 10:33 29s conditions-run
conditions-run
October 9, 2024 10:33 29s
Get rid of shell Run pytest, ruff, and pyright #103: Commit 3be3aaf pushed by WeetHet
October 9, 2024 10:27 27s conditions-run
conditions-run
October 9, 2024 10:27 27s
Remove test_separate Run pytest, ruff, and pyright #102: Commit 18828d2 pushed by WeetHet
October 9, 2024 10:26 38s conditions-run
conditions-run
October 9, 2024 10:26 38s
Get rid of shell Run pytest, ruff, and pyright #101: Commit eb88b89 pushed by WeetHet
October 9, 2024 10:09 43s conditions-run
conditions-run
October 9, 2024 10:09 43s