Skip to content

Actions: plasma-umass/cwhy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove litellm verbose mode
Regression | Check #177: Commit d1e48f2 pushed by nicovank
October 2, 2024 15:32 2m 36s main
October 2, 2024 15:32 2m 36s
Oops, forgot to remove some
Regression | Check #176: Commit 4ee04f9 pushed by nicovank
October 1, 2024 20:14 2m 12s main
October 1, 2024 20:14 2m 12s
Oops, forgot to remove some
Sanity #199: Commit 4ee04f9 pushed by nicovank
October 1, 2024 20:14 59s main
October 1, 2024 20:14 59s
[bot][ubuntu] Generate current state of CWhy prompts
Regression | Check #175: Commit 513ebb5 pushed by nicovank
October 1, 2024 20:13 2m 10s main
October 1, 2024 20:13 2m 10s
[bot][ubuntu] Generate current state of CWhy prompts
Sanity #198: Commit 513ebb5 pushed by nicovank
October 1, 2024 20:13 1m 0s main
October 1, 2024 20:13 1m 0s
Regression | Generate
Regression | Generate #29: Manually run by nicovank
October 1, 2024 20:10 2m 39s main
October 1, 2024 20:10 2m 39s
Delete .github/workflows/tests.yml
Regression | Check #174: Commit 92aedc6 pushed by nicovank
October 1, 2024 20:07 1m 6s main
October 1, 2024 20:07 1m 6s
Delete .github/workflows/tests.yml
Sanity #197: Commit 92aedc6 pushed by nicovank
October 1, 2024 20:07 52s main
October 1, 2024 20:07 52s
Regression | Generate
Regression | Generate #28: Manually run by nicovank
October 1, 2024 20:05 2m 47s main
October 1, 2024 20:05 2m 47s
Remove CoverUp tests for the time being
Sanity #196: Commit ddcde8a pushed by nicovank
October 1, 2024 20:04 53s main
October 1, 2024 20:04 53s
Remove CoverUp tests for the time being
tests #16: Commit ddcde8a pushed by nicovank
October 1, 2024 20:04 35s main
October 1, 2024 20:04 35s
Remove CoverUp tests for the time being
Regression | Check #173: Commit ddcde8a pushed by nicovank
October 1, 2024 20:04 2m 19s main
October 1, 2024 20:04 2m 19s
Remove fallback mechanism. Fix JSON parse errors.
Sanity #195: Commit 4750b2a pushed by nicovank
October 1, 2024 19:31 57s main
October 1, 2024 19:31 57s
Remove fallback mechanism. Fix JSON parse errors.
Regression | Check #172: Commit 4750b2a pushed by nicovank
October 1, 2024 19:31 2m 19s main
October 1, 2024 19:31 2m 19s
Remove fallback mechanism. Fix JSON parse errors.
tests #15: Commit 4750b2a pushed by nicovank
October 1, 2024 19:31 35s main
October 1, 2024 19:31 35s
[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
[bot][macos] Generate current state of CWhy prompts
Regression | Check #171: Commit 1b66e5c pushed by nicovank
September 5, 2024 03:58 2m 4s main
September 5, 2024 03:58 2m 4s
[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
Regression | Generate
Regression | Generate #27: Manually run by nicovank
September 5, 2024 03:53 3m 28s main
September 5, 2024 03:53 3m 28s
Update .gitignore
tests #13: Commit b09f9ff pushed by nicovank
September 5, 2024 03:53 1m 54s main
September 5, 2024 03:53 1m 54s
Update .gitignore
Sanity #193: Commit b09f9ff pushed by nicovank
September 5, 2024 03:53 1m 33s main
September 5, 2024 03:53 1m 33s
Update .gitignore
Regression | Check #170: Commit b09f9ff pushed by nicovank
September 5, 2024 03:53 2m 46s main
September 5, 2024 03:53 2m 46s
Regression | Generate
Regression | Generate #26: Manually run by nicovank
September 5, 2024 03:50 2m 13s main
September 5, 2024 03:50 2m 13s
Delete mutations directory
Sanity #192: Commit d8e66dc pushed by nicovank
September 5, 2024 03:39 54s main
September 5, 2024 03:39 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