Skip to content

Actions: plasma-umass/cwhy

Sanity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[bot][macos] Generate current state of CWhy prompts
Sanity #194: Commit 1b66e5c pushed by nicovank
September 5, 2024 03:58 51s main
September 5, 2024 03:58 51s
Update .gitignore
Sanity #193: Commit b09f9ff pushed by nicovank
September 5, 2024 03:53 1m 33s main
September 5, 2024 03:53 1m 33s
Delete mutations directory
Sanity #192: Commit d8e66dc pushed by nicovank
September 5, 2024 03:39 54s main
September 5, 2024 03:39 54s
A few more type annotations
Sanity #191: Commit db04875 pushed by nicovank
May 22, 2024 17:33 50s main
May 22, 2024 17:33 50s
Delete obsolete tests
Sanity #190: Commit 03992e1 pushed by nicovank
May 22, 2024 17:18 49s main
May 22, 2024 17:18 49s
Fix types
Sanity #189: Commit d31232f pushed by nicovank
May 22, 2024 17:16 52s main
May 22, 2024 17:16 52s
Use the PyDoc trick instead of separate schema functions
Sanity #188: Commit 2dc1068 pushed by nicovank
May 22, 2024 17:11 46s main
May 22, 2024 17:11 46s
Remove two older files
Sanity #187: Commit 7ed8395 pushed by nicovank
May 22, 2024 16:49 51s main
May 22, 2024 16:49 51s
Use raw string rather than double escape
Sanity #186: Commit 5eb5fcd pushed by nicovank
May 21, 2024 18:38 48s main
May 21, 2024 18:38 48s
[bot][ubuntu] Generate current state of CWhy prompts
Sanity #185: Commit 9b03eac pushed by nicovank
May 21, 2024 18:25 55s main
May 21, 2024 18:25 55s
Add --break-system-packages option for MacOS
Sanity #184: Commit 179609d pushed by nicovank
May 21, 2024 18:20 53s main
May 21, 2024 18:20 53s
Bump dependencies
Sanity #183: Commit 6ef4cd3 pushed by nicovank
May 21, 2024 18:14 51s main
May 21, 2024 18:14 51s
Nit
Sanity #182: Commit 1cb6fa8 pushed by nicovank
April 17, 2024 15:30 51s main
April 17, 2024 15:30 51s
Run CoverUp tests
Sanity #181: Commit 612ea41 pushed by nicovank
April 17, 2024 15:22 50s main
April 17, 2024 15:22 50s
Format
Sanity #180: Commit 6709a5b pushed by nicovank
April 17, 2024 15:07 1m 2s main
April 17, 2024 15:07 1m 2s
LiteLLM requires Python 3.8
Sanity #179: Commit 6b22101 pushed by nicovank
April 17, 2024 15:03 49s main
April 17, 2024 15:03 49s
LiteLLM requires Python 3.8
Sanity #178: Commit f23155d pushed by nicovank
April 17, 2024 15:03 50s main
April 17, 2024 15:03 50s
April 17, 2024 15:00 38s
Run sanity with matrix of Python versions
Sanity #176: Commit fdd1e19 pushed by nicovank
April 17, 2024 14:59 38s main
April 17, 2024 14:59 38s
Bump version
Sanity #175: Commit 58c4c51 pushed by nicovank
April 9, 2024 18:52 47s main
April 9, 2024 18:52 47s
Ignore warnings from litellm
Sanity #174: Commit 41d159a pushed by nicovank
April 8, 2024 12:50 47s main
April 8, 2024 12:50 47s
Fix SyntaxWarning: invalid escape sequence '\['
Sanity #173: Commit 1212647 pushed by nicovank
April 8, 2024 12:46 39s main
April 8, 2024 12:46 39s
Added.
Sanity #172: Commit 279b342 pushed by emeryberger
March 24, 2024 23:40 39s main
March 24, 2024 23:40 39s
Bump version
Sanity #171: Commit 786cbc0 pushed by nicovank
March 13, 2024 20:21 38s main
March 13, 2024 20:21 38s
Update __init__.py
Sanity #170: Commit 6968b5a pushed by nicovank
March 11, 2024 19:36 38s main
March 11, 2024 19:36 38s