Skip to content

Actions: plasma-umass/cwhy

Actions

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

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
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
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
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
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
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 Sanity #34: Commit 87f1426 pushed by nicovank
September 27, 2023 11:17 32s main
main
September 27, 2023 11:17 32s
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
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 Sanity #33: Commit a35df15 pushed by nicovank
September 27, 2023 11:10 27s main
main
September 27, 2023 11:10 27s
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
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 Sanity #32: Commit 9f63806 pushed by nicovank
September 27, 2023 11:06 25s main
main
September 27, 2023 11:06 25s
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
[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
[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
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 Sanity #30: Commit 935cf7a pushed by nicovank
September 27, 2023 11:03 34s main
main
September 27, 2023 11:03 34s
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
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
Oops, forgot remote name Sanity #29: Commit 65e29eb pushed by nicovank
September 27, 2023 11:00 29s main
main
September 27, 2023 11:00 29s
Oops, forgot remote name Regression | Check #6: Commit 65e29eb pushed by nicovank
September 27, 2023 11:00 1m 14s main
main
September 27, 2023 11:00 1m 14s
Regression | Generate Regression | Generate #7: Manually run by nicovank
September 27, 2023 10:58 1m 50s main
main
September 27, 2023 10:58 1m 50s
Fix branches not found error Sanity #28: Commit a2938c3 pushed by nicovank
September 27, 2023 10:58 31s main
main
September 27, 2023 10:58 31s
Fix branches not found error Regression | Check #5: Commit a2938c3 pushed by nicovank
September 27, 2023 10:58 1m 26s main
main
September 27, 2023 10:58 1m 26s