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 clang for C++ CI Sanity #39: Pull request #32 synchronize by nicovank
September 27, 2023 11:38 26s clang-ci
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
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
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
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
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
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
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
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
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
main
September 27, 2023 11:26 30s
Regression | Generate Regression | Generate #12: Manually run by nicovank
September 27, 2023 11:17 1m 38s main
main
September 27, 2023 11:17 1m 38s
Fail job when creating the PR fails Regression | Check #11: Commit 87f1426 pushed by nicovank
September 27, 2023 11:17 1m 13s main
main
September 27, 2023 11:17 1m 13s
Fail job when creating the PR fails Sanity #34: Commit 87f1426 pushed by nicovank
September 27, 2023 11:17 32s main
main
September 27, 2023 11:17 32s
Regression | Generate Regression | Generate #11: Manually run by nicovank
September 27, 2023 11:11 3m 57s main
main
September 27, 2023 11:11 3m 57s
Fix bug Regression | Check #10: Commit a35df15 pushed by nicovank
September 27, 2023 11:10 1m 28s main
main
September 27, 2023 11:10 1m 28s
Fix bug Sanity #33: Commit a35df15 pushed by nicovank
September 27, 2023 11:10 27s main
main
September 27, 2023 11:10 27s
Regression | Generate Regression | Generate #10: Manually run by nicovank
September 27, 2023 11:07 1m 16s main
main
September 27, 2023 11:07 1m 16s
Add MacOS and Windows CI Regression | Check #9: Commit 9f63806 pushed by nicovank
September 27, 2023 11:06 1m 8s main
main
September 27, 2023 11:06 1m 8s
Add MacOS and Windows CI Sanity #32: Commit 9f63806 pushed by nicovank
September 27, 2023 11:06 25s main
main
September 27, 2023 11:06 25s
[bot][macos] Generate current state of CWhy prompts (#31) Regression | Check #8: Commit cbcb3ed pushed by nicovank
September 27, 2023 11:05 1m 24s main
main
September 27, 2023 11:05 1m 24s
[bot][macos] Generate current state of CWhy prompts (#31) Sanity #31: Commit cbcb3ed pushed by nicovank
September 27, 2023 11:05 28s main
main
September 27, 2023 11:05 28s
Regression | Generate Regression | Generate #9: Manually run by nicovank
September 27, 2023 11:03 1m 26s main
main
September 27, 2023 11:03 1m 26s
Re-order to fix GitHub issue Regression | Check #7: Commit 935cf7a pushed by nicovank
September 27, 2023 11:03 1m 24s main
main
September 27, 2023 11:03 1m 24s
Re-order to fix GitHub issue Sanity #30: Commit 935cf7a pushed by nicovank
September 27, 2023 11:03 34s main
main
September 27, 2023 11:03 34s
Regression | Generate Regression | Generate #8: Manually run by nicovank
September 27, 2023 11:00 1m 22s main
main
September 27, 2023 11:00 1m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.