Skip to content

Actions: plasma-umass/cwhy

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[bot][macos] Generate current state of CWhy prompts
tests #14: Commit 1b66e5c pushed by nicovank
September 5, 2024 03:58 1m 12s main
September 5, 2024 03:58 1m 12s
Update .gitignore
tests #13: Commit b09f9ff pushed by nicovank
September 5, 2024 03:53 1m 54s main
September 5, 2024 03:53 1m 54s
Delete mutations directory
tests #12: Commit d8e66dc pushed by nicovank
September 5, 2024 03:39 1m 4s main
September 5, 2024 03:39 1m 4s
A few more type annotations
tests #11: Commit db04875 pushed by nicovank
May 22, 2024 17:33 1m 0s main
May 22, 2024 17:33 1m 0s
Delete obsolete tests
tests #10: Commit 03992e1 pushed by nicovank
May 22, 2024 17:18 1m 2s main
May 22, 2024 17:18 1m 2s
Fix types
tests #9: Commit d31232f pushed by nicovank
May 22, 2024 17:16 35s main
May 22, 2024 17:16 35s
Use the PyDoc trick instead of separate schema functions
tests #8: Commit 2dc1068 pushed by nicovank
May 22, 2024 17:11 37s main
May 22, 2024 17:11 37s
Remove two older files
tests #7: Commit 7ed8395 pushed by nicovank
May 22, 2024 16:49 1m 4s main
May 22, 2024 16:49 1m 4s
Use raw string rather than double escape
tests #6: Commit 5eb5fcd pushed by nicovank
May 21, 2024 18:38 3m 5s main
May 21, 2024 18:38 3m 5s
[bot][ubuntu] Generate current state of CWhy prompts
tests #5: Commit 9b03eac pushed by nicovank
May 21, 2024 18:25 1m 3s main
May 21, 2024 18:25 1m 3s
Add --break-system-packages option for MacOS
tests #4: Commit 179609d pushed by nicovank
May 21, 2024 18:20 1m 13s main
May 21, 2024 18:20 1m 13s
Bump dependencies
tests #3: Commit 6ef4cd3 pushed by nicovank
May 21, 2024 18:14 1m 6s main
May 21, 2024 18:14 1m 6s
Nit
tests #2: Commit 1cb6fa8 pushed by nicovank
April 17, 2024 15:30 1m 21s main
April 17, 2024 15:30 1m 21s
Run CoverUp tests
tests #1: Commit 612ea41 pushed by nicovank
April 17, 2024 15:22 1m 40s main
April 17, 2024 15:22 1m 40s