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

Regression | Generate Regression | Generate #6: Manually run by nicovank
September 27, 2023 10:53 1m 48s main
main
September 27, 2023 10:53 1m 48s
Fix if on Windows Regression | Check #4: Commit 9f6caba pushed by nicovank
September 27, 2023 10:53 1m 14s main
main
September 27, 2023 10:53 1m 14s
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
Regression | Generate Regression | Generate #5: Manually run by nicovank
September 27, 2023 10:46 1m 23s main
main
September 27, 2023 10:46 1m 23s
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
Do not fail if no changes Regression | Check #3: Commit ffdead4 pushed by nicovank
September 27, 2023 10:46 1m 19s main
main
September 27, 2023 10:46 1m 19s
Regression | Generate Regression | Generate #4: Manually run by nicovank
September 27, 2023 10:41 1m 31s main
main
September 27, 2023 10:41 1m 31s
Add MacOS and Windows to regression CI Regression | Check #2: Commit 753b094 pushed by nicovank
September 27, 2023 10:40 1m 27s main
main
September 27, 2023 10:40 1m 27s
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
Add regression checker CI Regression | Check #1: Commit 52a0baa pushed by nicovank
September 26, 2023 23:20 1m 11s main
main
September 26, 2023 23:20 1m 11s
[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
Regression | Generate Regression | Generate #3: Manually run by nicovank
September 26, 2023 23:17 1m 14s main
main
September 26, 2023 23:17 1m 14s
Fix bug Sanity #22: Commit df8eb0e pushed by nicovank
September 26, 2023 23:17 29s main
main
September 26, 2023 23:17 29s
Regression | Generate Regression | Generate #2: Manually run by nicovank
September 26, 2023 23:15 1m 12s main
main
September 26, 2023 23:15 1m 12s
Fix bug Sanity #21: Commit bdc995b pushed by nicovank
September 26, 2023 23:15 25s main
main
September 26, 2023 23:15 25s
Regression | Generate Regression | Generate #1: Manually run by nicovank
September 26, 2023 23:05 1m 12s main
main
September 26, 2023 23:05 1m 12s
Add CI to detect prompt changes (#28) Sanity #20: Commit 0662624 pushed by nicovank
September 26, 2023 23:05 26s main
main
September 26, 2023 23:05 26s
Add CI to detect prompt changes Sanity #19: Pull request #28 synchronize by nicovank
September 26, 2023 23:04 27s ci
ci
September 26, 2023 23:04 27s
Add CI to detect prompt changes Sanity #18: Pull request #28 synchronize by nicovank
September 26, 2023 23:03 28s ci
ci
September 26, 2023 23:03 28s
Add CI to detect prompt changes Sanity #17: Pull request #28 synchronize by nicovank
September 26, 2023 23:00 25s ci
ci
September 26, 2023 23:00 25s
Add CI to detect prompt changes Sanity #16: Pull request #28 synchronize by nicovank
September 26, 2023 22:59 25s ci
ci
September 26, 2023 22:59 25s
Add CI to detect prompt changes Sanity #15: Pull request #28 synchronize by nicovank
September 26, 2023 22:54 27s ci
ci
September 26, 2023 22:54 27s
Add CI to detect prompt changes Sanity #14: Pull request #28 synchronize by nicovank
September 26, 2023 22:51 27s ci
ci
September 26, 2023 22:51 27s
Add CI to detect prompt changes Sanity #13: Pull request #28 synchronize by nicovank
September 26, 2023 22:49 26s ci
ci
September 26, 2023 22:49 26s