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

Update release.yml Sanity #119: Commit fd6f5b5 pushed by nicovank
January 30, 2024 17:58 30s main
main
January 30, 2024 17:58 30s
Bump version Sanity #118: Commit 1b5eeca pushed by nicovank
January 29, 2024 19:59 35s main
main
January 29, 2024 19:59 35s
Add suffix to wrapper generated Sanity #117: Commit e1c2e3a pushed by nicovank
January 29, 2024 19:59 36s main
main
January 29, 2024 19:59 36s
Improve performance, short-circuit earlier when disabled Sanity #116: Commit aebbe49 pushed by nicovank
January 25, 2024 16:03 39s main
main
January 25, 2024 16:03 39s
Update README.md Sanity #115: Commit d940576 pushed by nicovank
January 24, 2024 21:57 37s main
main
January 24, 2024 21:57 37s
Fix prompt regression Sanity #114: Commit 4f90255 pushed by nicovank
January 24, 2024 15:47 35s main
main
January 24, 2024 15:47 35s
[CI] PR to trigger CI on fix Sanity #113: Pull request #53 synchronize by nicovank
January 24, 2024 15:45 35s return-to-normal
return-to-normal
January 24, 2024 15:45 35s
[CI] PR to trigger CI on fix Sanity #112: Pull request #53 opened by nicovank
January 24, 2024 15:40 35s return-to-normal
return-to-normal
January 24, 2024 15:40 35s
Fix last != first Sanity #111: Commit 882d4f3 pushed by nicovank
January 24, 2024 15:35 33s main
main
January 24, 2024 15:35 33s
Make use of llm_utils.number_group_of_lines Sanity #110: Commit 83cb123 pushed by nicovank
January 24, 2024 15:32 36s main
main
January 24, 2024 15:32 36s
Bump llm_utils version Sanity #109: Commit 47b464f pushed by nicovank
January 24, 2024 15:29 36s main
main
January 24, 2024 15:29 36s
Bump version Sanity #108: Commit 1a34e31 pushed by nicovank
January 16, 2024 19:02 36s main
main
January 16, 2024 19:02 36s
Update README.md Sanity #107: Commit 43826b6 pushed by nicovank
January 16, 2024 19:02 34s main
main
January 16, 2024 19:02 34s
[bot] Generate current state of CWhy prompts (#51) Sanity #106: Commit 2318f09 pushed by nicovank
January 11, 2024 17:12 34s main
main
January 11, 2024 17:12 34s
Rename test file Sanity #105: Commit 2a159a8 pushed by nicovank
January 11, 2024 17:09 35s main
main
January 11, 2024 17:09 35s
Minor import cleanup Sanity #104: Commit ceaef86 pushed by nicovank
January 11, 2024 16:52 33s main
main
January 11, 2024 16:52 33s
Import cleanup Sanity #103: Commit b69ccd9 pushed by nicovank
January 11, 2024 16:51 33s main
main
January 11, 2024 16:51 33s
Prompt engineering Sanity #102: Commit 1e0409e pushed by nicovank
January 11, 2024 16:50 32s main
main
January 11, 2024 16:50 32s
Provice ChatGPT with the compile/run command Sanity #101: Commit 3a002c0 pushed by nicovank
January 11, 2024 15:38 34s main
main
January 11, 2024 15:38 34s
Add list_directory function for ChatGPT Sanity #100: Commit a251060 pushed by nicovank
January 10, 2024 15:30 36s main
main
January 10, 2024 15:30 36s
Merge pull request #49 from plasma-umass/interface-cleanup Sanity #99: Commit bdf6df2 pushed by nicovank
January 10, 2024 15:24 33s main
main
January 10, 2024 15:24 33s
Interface cleanup: wrapper mode default Sanity #98: Pull request #49 synchronize by nicovank
January 10, 2024 15:14 38s interface-cleanup
interface-cleanup
January 10, 2024 15:14 38s
Interface cleanup: wrapper mode default Sanity #97: Pull request #49 synchronize by nicovank
January 10, 2024 14:34 38s interface-cleanup
interface-cleanup
January 10, 2024 14:34 38s
Interface cleanup: wrapper mode default Sanity #96: Pull request #49 synchronize by nicovank
January 10, 2024 14:29 37s interface-cleanup
interface-cleanup
January 10, 2024 14:29 37s
Interface cleanup: wrapper mode default Sanity #95: Pull request #49 synchronize by nicovank
January 10, 2024 14:21 35s interface-cleanup
interface-cleanup
January 10, 2024 14:21 35s