Skip to content

Actions: plasma-umass/cwhy

Actions

Sanity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sanity.yml
47 workflow run results
47 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
main
October 1, 2023 20:45 29s
Merge pull request #34 from plasma-umass/template-recursion-example Sanity #46: Commit 6b69a11 pushed by emeryberger
October 1, 2023 16:26 31s main
main
October 1, 2023 16:26 31s
Add infinite template recursion example Sanity #45: Pull request #34 synchronize by nicovank
September 30, 2023 22:20 27s template-recursion-example
template-recursion-example
September 30, 2023 22:20 27s
Add infinite template recursion example Sanity #44: Pull request #34 synchronize by nicovank
September 30, 2023 22:17 28s template-recursion-example
template-recursion-example
September 30, 2023 22:17 28s
Fix bug merging branches Sanity #43: Commit 0b4ce60 pushed by nicovank
September 30, 2023 22:14 28s main
main
September 30, 2023 22:14 28s
Add infinite template recursion example Sanity #42: Pull request #34 opened by nicovank
September 30, 2023 22:09 40s template-recursion-example
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
main
September 27, 2023 11:40 27s
Add clang for C++ CI Sanity #40: Pull request #32 synchronize by nicovank
September 27, 2023 11:39 36s clang-ci
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
clang-ci
September 27, 2023 11:38 26s
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
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 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
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
Fix bug Sanity #33: Commit a35df15 pushed by nicovank
September 27, 2023 11:10 27s main
main
September 27, 2023 11:10 27s
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) Sanity #31: Commit cbcb3ed pushed by nicovank
September 27, 2023 11:05 28s main
main
September 27, 2023 11:05 28s
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
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
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 if on Windows Sanity #27: Commit 9f6caba pushed by nicovank
September 27, 2023 10:53 36s main
main
September 27, 2023 10:53 36s
Do not fail if no changes Sanity #26: Commit ffdead4 pushed by nicovank
September 27, 2023 10:46 34s main
main
September 27, 2023 10:46 34s
Add MacOS and Windows to regression CI Sanity #25: Commit 753b094 pushed by nicovank
September 27, 2023 10:40 31s main
main
September 27, 2023 10:40 31s
Add regression checker CI Sanity #24: Commit 52a0baa pushed by nicovank
September 26, 2023 23:20 36s main
main
September 26, 2023 23:20 36s
[bot] Generate current state of CWhy prompts (#30) Sanity #23: Commit ff35798 pushed by nicovank
September 26, 2023 23:20 29s main
main
September 26, 2023 23:20 29s