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

Add debug printing support for better debugging and tracing Sanity #166: Commit f7c4b0b pushed by nicovank
February 6, 2024 21:12 39s main
main
February 6, 2024 21:12 39s
Add debug printing support for better debugging and tracing Regression | Check #143: Commit f7c4b0b pushed by nicovank
February 6, 2024 21:12 2m 9s main
main
February 6, 2024 21:12 2m 9s
Added more info regarding Bedrock. Sanity #165: Commit 5455c0b pushed by emeryberger
February 6, 2024 14:02 50s main
main
February 6, 2024 14:02 50s
Added more info regarding Bedrock. Regression | Check #142: Commit 5455c0b pushed by emeryberger
February 6, 2024 14:02 2m 10s main
main
February 6, 2024 14:02 2m 10s
Fix type annotation Regression | Check #141: Commit f405943 pushed by nicovank
February 6, 2024 13:31 2m 3s main
main
February 6, 2024 13:31 2m 3s
Fix type annotation Sanity #164: Commit f405943 pushed by nicovank
February 6, 2024 13:31 40s main
main
February 6, 2024 13:31 40s
Region may not be west Sanity #163: Commit 1357a92 pushed by nicovank
February 6, 2024 04:02 40s main
main
February 6, 2024 04:02 40s
Region may not be west Regression | Check #140: Commit 1357a92 pushed by nicovank
February 6, 2024 04:02 1m 53s main
main
February 6, 2024 04:02 1m 53s
[bot] Generate current state of CWhy prompts (#60) Sanity #162: Commit 72c00a1 pushed by nicovank
February 6, 2024 00:56 39s main
main
February 6, 2024 00:56 39s
[bot] Generate current state of CWhy prompts (#60) Regression | Check #139: Commit 72c00a1 pushed by nicovank
February 6, 2024 00:56 2m 4s main
main
February 6, 2024 00:56 2m 4s
Fix #58 Sanity #161: Pull request #59 synchronize by nicovank
February 6, 2024 00:54 46s fix-58
fix-58
February 6, 2024 00:54 46s
Fix #58 Regression | Check #138: Pull request #59 synchronize by nicovank
February 6, 2024 00:54 1m 57s fix-58
fix-58
February 6, 2024 00:54 1m 57s
Regression | Generate Regression | Generate #24: Manually run by nicovank
February 6, 2024 00:50 2m 9s fix-58
fix-58
February 6, 2024 00:50 2m 9s
Fix #58 Sanity #160: Pull request #59 synchronize by nicovank
February 6, 2024 00:50 40s fix-58
fix-58
February 6, 2024 00:50 40s
Fix #58 Regression | Check #137: Pull request #59 synchronize by nicovank
February 6, 2024 00:50 1m 57s fix-58
fix-58
February 6, 2024 00:50 1m 57s
Fix MacOS issue Sanity #159: Commit 22dc505 pushed by nicovank
February 6, 2024 00:50 40s main
main
February 6, 2024 00:50 40s
Fix MacOS issue Regression | Check #136: Commit 22dc505 pushed by nicovank
February 6, 2024 00:50 1m 57s main
main
February 6, 2024 00:50 1m 57s
Regression | Generate Regression | Generate #23: Manually run by nicovank
February 6, 2024 00:48 2m 2s fix-58
fix-58
February 6, 2024 00:48 2m 2s
Compatibility fix for Python 3.8 Release #9: Release v0.4.5 published by emeryberger
February 5, 2024 23:59 48s
February 5, 2024 23:59 48s
Fix #58 Regression | Check #135: Pull request #59 synchronize by nicovank
February 5, 2024 23:46 1m 31s fix-58
fix-58
February 5, 2024 23:46 1m 31s
Fix #58 Sanity #158: Pull request #59 synchronize by nicovank
February 5, 2024 23:46 40s fix-58
fix-58
February 5, 2024 23:46 40s
Fix #58 Sanity #157: Pull request #59 opened by nicovank
February 5, 2024 23:44 37s fix-58
fix-58
February 5, 2024 23:44 37s
Fix #58 Regression | Check #134: Pull request #59 opened by nicovank
February 5, 2024 23:44 2m 25s fix-58
fix-58
February 5, 2024 23:44 2m 25s
Bumped version. Regression | Check #133: Commit 0312391 pushed by emeryberger
February 5, 2024 23:43 2m 18s main
main
February 5, 2024 23:43 2m 18s
Bumped version. Sanity #156: Commit 0312391 pushed by emeryberger
February 5, 2024 23:43 41s main
main
February 5, 2024 23:43 41s