Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for multilang validating runners, use stateful runners (#5) Run pytest, ruff, and pyright #19: Commit c9a19a3 pushed by WeetHet
September 17, 2024 08:48 49s main
main
September 17, 2024 08:48 49s
terminate process group on timeout Run pytest, ruff, and pyright #18: Commit f1b0f12 pushed by WeetHet
September 17, 2024 08:04 30s multilang-validate
multilang-validate
September 17, 2024 08:04 30s
nagini: use better newlines Run pytest, ruff, and pyright #17: Commit cf35ce5 pushed by WeetHet
September 17, 2024 07:13 38s multilang-validate
multilang-validate
September 17, 2024 07:13 38s
fix nagini regex Run pytest, ruff, and pyright #16: Commit ddc0219 pushed by WeetHet
September 17, 2024 07:11 32s multilang-validate
multilang-validate
September 17, 2024 07:11 32s
add plot to non-incremental run Run pytest, ruff, and pyright #15: Commit d5d9991 pushed by WeetHet
September 16, 2024 08:34 32s multilang-validate
multilang-validate
September 16, 2024 08:34 32s
Add try-logging to runners (#6) Run pytest, ruff, and pyright #14: Commit ef54ec3 pushed by WeetHet
September 16, 2024 06:32 48s multilang-validate
multilang-validate
September 16, 2024 06:32 48s
rename job Run pytest, ruff, and pyright #13: Commit 4bf8e08 pushed by WeetHet
September 16, 2024 06:31 39s runner-logging
runner-logging
September 16, 2024 06:31 39s
fix bugs, add pyright check Run pytest, ruff, and pyright #12: Commit fc145c9 pushed by WeetHet
September 16, 2024 06:30 45s runner-logging
runner-logging
September 16, 2024 06:30 45s
Formatting fix Run pytest, ruff, and pyright #11: Commit e05dc91 pushed by gt22
September 16, 2024 03:03 39s runner-logging
runner-logging
September 16, 2024 03:03 39s
Add try-logging to runners Run pytest, ruff, and pyright #10: Commit 73611ff pushed by gt22
September 16, 2024 03:00 34s runner-logging
runner-logging
September 16, 2024 03:00 34s
Add try-logging to runners Run pytest, ruff, and pyright #9: Commit df76923 pushed by gt22
September 16, 2024 02:58 31s runner-logging
runner-logging
September 16, 2024 02:58 31s
add validator after fixes Run pytest, ruff, and pyright #8: Commit 782b190 pushed by WeetHet
September 13, 2024 10:16 31s multilang-validate
multilang-validate
September 13, 2024 10:16 31s
make incremental run work with gui Run pytest, ruff, and pyright #7: Commit 95c5a15 pushed by WeetHet
September 12, 2024 11:09 30s multilang-validate
multilang-validate
September 12, 2024 11:09 30s
multilang incremental run Run pytest, ruff, and pyright #6: Commit b90055e pushed by WeetHet
September 12, 2024 07:54 33s multilang-validate
multilang-validate
September 12, 2024 07:54 33s
run with dafny Run pytest, ruff, and pyright #5: Commit 561b8d3 pushed by WeetHet
September 11, 2024 09:13 35s multilang-validate
multilang-validate
September 11, 2024 09:13 35s
run with dafny Run pytest, ruff, and pyright #4: Commit 88049de pushed by WeetHet
September 11, 2024 09:12 42s multilang-validate
multilang-validate
September 11, 2024 09:12 42s
pre-run prep Run pytest, ruff, and pyright #3: Commit 4c1a456 pushed by WeetHet
September 11, 2024 06:53 32s multilang-validate
multilang-validate
September 11, 2024 06:53 32s
return lost two step generation Run pytest, ruff, and pyright #2: Commit 911343c pushed by WeetHet
September 10, 2024 13:47 21s multilang-validate
multilang-validate
September 10, 2024 13:47 21s
add ruff checks Run pytest, ruff, and pyright #1: Commit ddeee1c pushed by WeetHet
September 10, 2024 11:09 32s multilang-validate
multilang-validate
September 10, 2024 11:09 32s
sort imports, fix run Run pytest #8: Commit 91ea77c pushed by WeetHet
September 10, 2024 09:43 20s multilang-validate
multilang-validate
September 10, 2024 09:43 20s
implement assert and invariant removal Run pytest #7: Commit 4d4ee89 pushed by WeetHet
September 10, 2024 08:39 33s multilang-validate
multilang-validate
September 10, 2024 08:39 33s
implement nagini codegen Run pytest #6: Commit 4312549 pushed by WeetHet
September 9, 2024 08:42 27s multilang-validate
multilang-validate
September 9, 2024 08:42 27s
fix dafny codegen Run pytest #5: Commit 7f61636 pushed by WeetHet
September 9, 2024 07:55 33s multilang-validate
multilang-validate
September 9, 2024 07:55 33s
wip Run pytest #4: Commit f2f11bf pushed by WeetHet
September 8, 2024 18:36 43s multilang-validate
multilang-validate
September 8, 2024 18:36 43s
Merge pull request #4 from JetBrains-Research/run-tests Run pytest #3: Commit 114b115 pushed by WeetHet
September 4, 2024 08:45 49s main
main
September 4, 2024 08:45 49s