Skip to content

Actions: plasma-umass/cwhy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow run results
87 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bumped version.
Sanity #47: Commit 846293e pushed by emeryberger
October 1, 2023 20:45 29s main
October 1, 2023 20:45 29s
Bumped version.
Regression | Check #24: Commit 846293e pushed by emeryberger
October 1, 2023 20:45 1m 18s main
October 1, 2023 20:45 1m 18s
Merge pull request #34 from plasma-umass/template-recursion-example
Regression | Check #23: Commit 6b69a11 pushed by emeryberger
October 1, 2023 16:26 1m 14s main
October 1, 2023 16:26 1m 14s
October 1, 2023 16:26 31s
Add infinite template recursion example
Regression | Check #22: Pull request #34 synchronize by nicovank
September 30, 2023 22:20 1m 13s template-recursion-example
September 30, 2023 22:20 1m 13s
Add infinite template recursion example
Sanity #45: Pull request #34 synchronize by nicovank
September 30, 2023 22:20 27s template-recursion-example
September 30, 2023 22:20 27s
Regression | Generate
Regression | Generate #16: Manually run by nicovank
September 30, 2023 22:18 2m 13s template-recursion-example
September 30, 2023 22:18 2m 13s
Add infinite template recursion example
Sanity #44: Pull request #34 synchronize by nicovank
September 30, 2023 22:17 28s template-recursion-example
September 30, 2023 22:17 28s
Add infinite template recursion example
Regression | Check #21: Pull request #34 synchronize by nicovank
September 30, 2023 22:17 1m 6s template-recursion-example
September 30, 2023 22:17 1m 6s
Regression | Generate
Regression | Generate #15: Manually run by nicovank
September 30, 2023 22:14 1m 55s template-recursion-example
September 30, 2023 22:14 1m 55s
Fix bug merging branches
Regression | Check #20: Commit 0b4ce60 pushed by nicovank
September 30, 2023 22:14 3m 4s main
September 30, 2023 22:14 3m 4s
Fix bug merging branches
Sanity #43: Commit 0b4ce60 pushed by nicovank
September 30, 2023 22:14 28s main
September 30, 2023 22:14 28s
Regression | Generate
Regression | Generate #14: Manually run by nicovank
September 30, 2023 22:11 1m 44s template-recursion-example
September 30, 2023 22:11 1m 44s
Add infinite template recursion example
Sanity #42: Pull request #34 opened by nicovank
September 30, 2023 22:09 40s template-recursion-example
September 30, 2023 22:09 40s
Add infinite template recursion example
Regression | Check #19: Pull request #34 opened by nicovank
September 30, 2023 22:09 3m 8s template-recursion-example
September 30, 2023 22:09 3m 8s
Add clang for C++ CI (#32)
Regression | Check #18: Commit 313fd82 pushed by nicovank
September 27, 2023 11:40 1m 27s main
September 27, 2023 11:40 1m 27s
Add clang for C++ CI (#32)
Sanity #41: Commit 313fd82 pushed by nicovank
September 27, 2023 11:40 27s main
September 27, 2023 11:40 27s
Add clang for C++ CI
Regression | Check #17: Pull request #32 synchronize by nicovank
September 27, 2023 11:39 1m 31s clang-ci
September 27, 2023 11:39 1m 31s
Add clang for C++ CI
Sanity #40: Pull request #32 synchronize by nicovank
September 27, 2023 11:39 36s clang-ci
September 27, 2023 11:39 36s
Add clang for C++ CI
Sanity #39: Pull request #32 synchronize by nicovank
September 27, 2023 11:38 26s clang-ci
September 27, 2023 11:38 26s
Add clang for C++ CI
Regression | Check #16: Pull request #32 synchronize by nicovank
September 27, 2023 11:38 1m 29s clang-ci
September 27, 2023 11:38 1m 29s
Regression | Generate
Regression | Generate #13: Manually run by nicovank
September 27, 2023 11:36 1m 54s clang-ci
September 27, 2023 11:36 1m 54s
Add clang for C++ CI
Regression | Check #15: Pull request #32 synchronize by nicovank
September 27, 2023 11:34 1m 31s clang-ci
September 27, 2023 11:34 1m 31s
Add clang for C++ CI
Sanity #38: Pull request #32 synchronize by nicovank
September 27, 2023 11:34 27s clang-ci
September 27, 2023 11:34 27s
Only install gcc-12, install clang 17
Regression | Check #14: Commit a9eefa7 pushed by nicovank
September 27, 2023 11:33 1m 23s main
September 27, 2023 11:33 1m 23s