Skip to content

Actions: plasma-umass/cwhy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
417 workflow runs
417 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
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
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
main
September 5, 2024 03:58 51s
Regression | Generate Regression | Generate #27: Manually run by nicovank
September 5, 2024 03:53 3m 28s main
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
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
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
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
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
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
main
September 5, 2024 03:39 1m 4s
Delete mutations directory Regression | Check #169: Commit d8e66dc pushed by nicovank
September 5, 2024 03:39 2m 6s main
main
September 5, 2024 03:39 2m 6s
A few more type annotations Sanity #191: Commit db04875 pushed by nicovank
May 22, 2024 17:33 50s main
main
May 22, 2024 17:33 50s
A few more type annotations Regression | Check #168: Commit db04875 pushed by nicovank
May 22, 2024 17:33 1m 45s main
main
May 22, 2024 17:33 1m 45s
A few more type annotations tests #11: Commit db04875 pushed by nicovank
May 22, 2024 17:33 1m 0s main
main
May 22, 2024 17:33 1m 0s
Delete obsolete tests Regression | Check #167: Commit 03992e1 pushed by nicovank
May 22, 2024 17:18 1m 46s main
main
May 22, 2024 17:18 1m 46s
Delete obsolete tests Sanity #190: Commit 03992e1 pushed by nicovank
May 22, 2024 17:18 49s main
main
May 22, 2024 17:18 49s
Delete obsolete tests tests #10: Commit 03992e1 pushed by nicovank
May 22, 2024 17:18 1m 2s main
main
May 22, 2024 17:18 1m 2s
Fix types Sanity #189: Commit d31232f pushed by nicovank
May 22, 2024 17:16 52s main
main
May 22, 2024 17:16 52s
Fix types tests #9: Commit d31232f pushed by nicovank
May 22, 2024 17:16 35s main
main
May 22, 2024 17:16 35s
Fix types Regression | Check #166: Commit d31232f pushed by nicovank
May 22, 2024 17:16 1m 48s main
main
May 22, 2024 17:16 1m 48s
Use the PyDoc trick instead of separate schema functions tests #8: Commit 2dc1068 pushed by nicovank
May 22, 2024 17:11 37s main
main
May 22, 2024 17:11 37s
Use the PyDoc trick instead of separate schema functions Sanity #188: Commit 2dc1068 pushed by nicovank
May 22, 2024 17:11 46s main
main
May 22, 2024 17:11 46s
Use the PyDoc trick instead of separate schema functions Regression | Check #165: Commit 2dc1068 pushed by nicovank
May 22, 2024 17:11 1m 40s main
main
May 22, 2024 17:11 1m 40s
Remove two older files tests #7: Commit 7ed8395 pushed by nicovank
May 22, 2024 16:49 1m 4s main
main
May 22, 2024 16:49 1m 4s
Remove two older files Regression | Check #164: Commit 7ed8395 pushed by nicovank
May 22, 2024 16:49 1m 50s main
main
May 22, 2024 16:49 1m 50s