Skip to content

Actions: plasma-umass/cwhy

Actions

Sanity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sanity.yml
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added code presented at CppCon 2023 by Alon Wolf. Sanity #69: Commit a1fe1c7 pushed by emeryberger
October 27, 2023 18:11 29s main
main
October 27, 2023 18:11 29s
[bot] Generate current state of CWhy prompts (#43) Sanity #68: Commit c06600e pushed by nicovank
October 26, 2023 21:42 32s main
main
October 26, 2023 21:42 32s
Fix missing include in template-recursion.cpp Sanity #67: Pull request #44 opened by nicovank
October 26, 2023 21:42 35s fix-missing-include
fix-missing-include
October 26, 2023 21:42 35s
Update sanity.yml Sanity #66: Commit ae4741f pushed by nicovank
October 26, 2023 21:30 28s main
main
October 26, 2023 21:30 28s
Fix broken python3 -m cwhy (#41) Sanity #65: Commit a1c859d pushed by nicovank
October 26, 2023 21:30 29s main
main
October 26, 2023 21:30 29s
[bot][ubuntu] Generate current state of CWhy prompts (#42) Sanity #64: Commit 8137525 pushed by nicovank
October 26, 2023 21:29 34s main
main
October 26, 2023 21:29 34s
Minor improvement Sanity #63: Commit 002c7f1 pushed by nicovank
October 26, 2023 21:21 28s main
main
October 26, 2023 21:21 28s
Fix broken python3 -m cwhy Sanity #62: Pull request #41 opened by camelid
October 26, 2023 20:38 33s camelid:fix-module
camelid:fix-module
October 26, 2023 20:38 33s
Update Rust instructions Sanity #61: Commit 6431bb4 pushed by emeryberger
October 19, 2023 20:39 29s main
main
October 19, 2023 20:39 29s
Merge branch 'main' of https://github.com/plasma-umass/c-why Sanity #60: Commit aa11751 pushed by emeryberger
October 5, 2023 13:21 37s main
main
October 5, 2023 13:21 37s
Update README.md with fallback behavior Sanity #59: Commit 7a8f9eb pushed by nicovank
October 5, 2023 10:03 32s main
main
October 5, 2023 10:03 32s
Updated format. Sanity #58: Commit 06d6750 pushed by emeryberger
October 4, 2023 20:10 31s main
main
October 4, 2023 20:10 31s
Merge pull request #38 from plasma-umass/cost Sanity #57: Commit 748368c pushed by emeryberger
October 4, 2023 20:07 28s main
main
October 4, 2023 20:07 28s
Merge pull request #37 from plasma-umass/factor-out Sanity #56: Commit b6d3a56 pushed by emeryberger
October 4, 2023 19:48 29s main
main
October 4, 2023 19:48 29s
Add fallback behavior Sanity #55: Commit 7eeb57e pushed by nicovank
October 4, 2023 18:04 32s main
main
October 4, 2023 18:04 32s
Add cost estimation on text completion Sanity #54: Pull request #38 opened by nicovank
October 4, 2023 16:58 35s cost
cost
October 4, 2023 16:58 35s
Factor out some functions into llm-utils Sanity #53: Pull request #37 opened by nicovank
October 4, 2023 10:10 33s factor-out
factor-out
October 4, 2023 10:10 33s
Added detailed instructions for use with OpenAI Sanity #52: Commit 42a621f pushed by emeryberger
October 3, 2023 22:36 35s main
main
October 3, 2023 22:36 35s
Bumped. Sanity #51: Commit d8ff837 pushed by emeryberger
October 2, 2023 15:43 37s main
main
October 2, 2023 15:43 37s
Removed cruft. Sanity #50: Commit 42fb780 pushed by emeryberger
October 2, 2023 15:43 28s main
main
October 2, 2023 15:43 28s
Merge pull request #36 from plasma-umass/pypi-release-upload Sanity #49: Commit 47e93d6 pushed by emeryberger
October 2, 2023 15:41 35s main
main
October 2, 2023 15:41 35s
PyPI automatic release upload Sanity #48: Pull request #36 opened by nicovank
October 2, 2023 15:10 36s pypi-release-upload
pypi-release-upload
October 2, 2023 15:10 36s
Bumped version. Sanity #47: Commit 846293e pushed by emeryberger
October 1, 2023 20:45 29s main
main
October 1, 2023 20:45 29s
Merge pull request #34 from plasma-umass/template-recursion-example Sanity #46: Commit 6b69a11 pushed by emeryberger
October 1, 2023 16:26 31s main
main
October 1, 2023 16:26 31s
Add infinite template recursion example Sanity #45: Pull request #34 synchronize by nicovank
September 30, 2023 22:20 27s template-recursion-example
template-recursion-example
September 30, 2023 22:20 27s