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

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
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
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
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
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
Sanity #43: Commit 0b4ce60 pushed by nicovank
September 30, 2023 22:14 28s main
September 30, 2023 22:14 28s
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
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
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 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 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 (#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
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
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
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
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
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
Sanity #38: Pull request #32 synchronize by nicovank
September 27, 2023 11:34 27s clang-ci
September 27, 2023 11:34 27s
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
Only install gcc-12, install clang 17
Sanity #37: Commit a9eefa7 pushed by nicovank
September 27, 2023 11:33 37s main
September 27, 2023 11:33 37s
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
Add clang for C++ CI
Sanity #36: Pull request #32 opened by nicovank
September 27, 2023 11:30 32s clang-ci
September 27, 2023 11:30 32s
Add clang for C++ CI
Regression | Check #13: Pull request #32 opened by nicovank
September 27, 2023 11:30 1m 7s clang-ci
September 27, 2023 11:30 1m 7s
Only consider g++-12, should be enough
Regression | Check #12: Commit e61a66a pushed by nicovank
September 27, 2023 11:26 1m 13s main
September 27, 2023 11:26 1m 13s
Only consider g++-12, should be enough
Sanity #35: Commit e61a66a pushed by nicovank
September 27, 2023 11:26 30s main
September 27, 2023 11:26 30s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.