Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rate limit: make limits an argument Run pytest, ruff, and pyright #263: Commit c4cb92b pushed by WeetHet
March 3, 2025 14:56 26s rate-limit
rate-limit
March 3, 2025 14:56 26s
Run pytest, ruff, and pyright Run pytest, ruff, and pyright #262: by WeetHet
March 3, 2025 14:55 37s rate-limit
rate-limit
March 3, 2025 14:55 37s
Implement a rate limiter Run pytest, ruff, and pyright #261: Commit e863895 pushed by WeetHet
March 3, 2025 14:43 41s rate-limit
rate-limit
March 3, 2025 14:43 41s
pass programs to files before shell validation Run pytest, ruff, and pyright #260: Commit f25d351 pushed by alex28sh
February 27, 2025 22:00 25s finished-shell-validation
finished-shell-validation
February 27, 2025 22:00 25s
WIP: Rate limiter Run pytest, ruff, and pyright #259: Commit 1e2678e pushed by WeetHet
February 27, 2025 10:41 23s rate-limit
rate-limit
February 27, 2025 10:41 23s
Use several_modes as the main entry point (#38) Run pytest, ruff, and pyright #258: Commit 0b93e6a pushed by WeetHet
February 27, 2025 10:40 37s main
main
February 27, 2025 10:40 37s
add shell for dafny Run pytest, ruff, and pyright #257: Commit 740a07d pushed by alex28sh
February 24, 2025 19:50 28s finished-shell-validation
finished-shell-validation
February 24, 2025 19:50 28s
fixes Run pytest, ruff, and pyright #256: Commit a003a10 pushed by alex28sh
February 24, 2025 19:47 27s finished-shell-validation
finished-shell-validation
February 24, 2025 19:47 27s
finished shell validator Run pytest, ruff, and pyright #255: Commit 98b276d pushed by alex28sh
February 24, 2025 19:43 23s finished-shell-validation
finished-shell-validation
February 24, 2025 19:43 23s
fix Run pytest, ruff, and pyright #254: Commit e71691d pushed by alex28sh
February 24, 2025 19:36 48s finished-shell-validation
finished-shell-validation
February 24, 2025 19:36 48s
fix Run pytest, ruff, and pyright #253: Commit 312f73a pushed by alex28sh
February 24, 2025 19:33 31s finished-shell-validation
finished-shell-validation
February 24, 2025 19:33 31s
fix Run pytest, ruff, and pyright #252: Commit 2a4a5e3 pushed by alex28sh
February 24, 2025 19:31 33s finished-shell-validation
finished-shell-validation
February 24, 2025 19:31 33s
fix Run pytest, ruff, and pyright #251: Commit ef14f4c pushed by alex28sh
February 24, 2025 19:29 32s finished-shell-validation
finished-shell-validation
February 24, 2025 19:29 32s
fix Run pytest, ruff, and pyright #250: Commit e82160c pushed by alex28sh
February 24, 2025 19:27 29s finished-shell-validation
finished-shell-validation
February 24, 2025 19:27 29s
fix Run pytest, ruff, and pyright #249: Commit e8b0b93 pushed by alex28sh
February 24, 2025 19:24 30s finished-shell-validation
finished-shell-validation
February 24, 2025 19:24 30s
fix Run pytest, ruff, and pyright #248: Commit 882fe9b pushed by alex28sh
February 24, 2025 19:22 31s finished-shell-validation
finished-shell-validation
February 24, 2025 19:22 31s
fix Run pytest, ruff, and pyright #247: Commit fe75d3e pushed by alex28sh
February 24, 2025 19:19 35s finished-shell-validation
finished-shell-validation
February 24, 2025 19:19 35s
finished shell validator Run pytest, ruff, and pyright #246: Commit 98b276d pushed by alex28sh
February 24, 2025 19:14 32s finished-shell-validation
finished-shell-validation
February 24, 2025 19:14 32s
Make LLM optional (for Nagini) Run pytest, ruff, and pyright #245: Commit 8ce21be pushed by WeetHet
February 24, 2025 15:56 48s verus-rewriter
verus-rewriter
February 24, 2025 15:56 48s
Add a Verus rewriter (int <-> i32) Run pytest, ruff, and pyright #244: Commit 8682aef pushed by WeetHet
February 24, 2025 15:52 33s verus-rewriter
verus-rewriter
February 24, 2025 15:52 33s
Refactor typing hints and improve string formatting Run pytest, ruff, and pyright #243: Commit 0b98555 pushed by WeetHet
February 20, 2025 11:32 34s unify
unify
February 20, 2025 11:32 34s
Use several_modes as the main entry point, get rid of main and increm… Run pytest, ruff, and pyright #242: Commit 2fb8189 pushed by WeetHet
February 17, 2025 13:53 36s unify
unify
February 17, 2025 13:53 36s
Use several_modes as the main entry point, get rid of main and increm… Run pytest, ruff, and pyright #241: Commit 4c067da pushed by WeetHet
February 17, 2025 13:52 34s unify
unify
February 17, 2025 13:52 34s
feat(validators): implement shell support (#37) Run pytest, ruff, and pyright #240: Commit 53e2a93 pushed by WeetHet
February 13, 2025 13:42 26s main
main
February 13, 2025 13:42 26s
Merge branch 'main' into shell-validators Run pytest, ruff, and pyright #239: Commit 6289889 pushed by WeetHet
February 13, 2025 13:41 29s shell-validators
shell-validators
February 13, 2025 13:41 29s