Skip to content

Actions: plasma-umass/cwhy

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

Move context and prompt logic to separate file
Sanity #84: Commit 66c0cde pushed by nicovank
November 30, 2023 16:38 25s main
November 30, 2023 16:38 25s
Move context and prompt logic to separate file
Regression | Check #61: Commit 66c0cde pushed by nicovank
November 30, 2023 16:38 1m 36s main
November 30, 2023 16:38 1m 36s
Fix exception logic
Sanity #83: Commit ca6337b pushed by nicovank
November 30, 2023 16:24 30s main
November 30, 2023 16:24 30s
Fix exception logic
Regression | Check #60: Commit ca6337b pushed by nicovank
November 30, 2023 16:24 2m 8s main
November 30, 2023 16:24 2m 8s
Minor cleanup to argument parser
Regression | Check #59: Commit c33bbcf pushed by nicovank
November 30, 2023 13:58 3m 25s main
November 30, 2023 13:58 3m 25s
Minor cleanup to argument parser
Sanity #82: Commit c33bbcf pushed by nicovank
November 30, 2023 13:58 25s main
November 30, 2023 13:58 25s
Minor cleanup
Sanity #81: Commit 7263ee7 pushed by nicovank
November 30, 2023 13:47 21s main
November 30, 2023 13:47 21s
Minor cleanup
Regression | Check #58: Commit 7263ee7 pushed by nicovank
November 30, 2023 13:47 2m 31s main
November 30, 2023 13:47 2m 31s
Remove extract-sources command
Sanity #80: Commit a4c18d7 pushed by nicovank
November 30, 2023 13:38 26s main
November 30, 2023 13:38 26s
Remove extract-sources command
Regression | Check #57: Commit a4c18d7 pushed by nicovank
November 30, 2023 13:38 2m 15s main
November 30, 2023 13:38 2m 15s
Add notes on exception logic that should be fixed
Sanity #79: Commit c050dbf pushed by nicovank
November 30, 2023 13:23 29s main
November 30, 2023 13:23 29s
Add notes on exception logic that should be fixed
Regression | Check #56: Commit c050dbf pushed by nicovank
November 30, 2023 13:23 1m 29s main
November 30, 2023 13:23 1m 29s
Convert to OpenAI 1.3.6 API
Sanity #78: Commit 4b9f15d pushed by nicovank
November 30, 2023 13:12 30s main
November 30, 2023 13:12 30s
Convert to OpenAI 1.3.6 API
Regression | Check #55: Commit 4b9f15d pushed by nicovank
November 30, 2023 13:12 3m 27s main
November 30, 2023 13:12 3m 27s
OpenAI requires a more recent version
Regression | Check #54: Commit 4387911 pushed by nicovank
November 30, 2023 11:59 2m 21s main
November 30, 2023 11:59 2m 21s
OpenAI requires a more recent version
Sanity #77: Commit 4387911 pushed by nicovank
November 30, 2023 11:59 30s main
November 30, 2023 11:59 30s
Multiple version bumps, relax OpenAI package version
Regression | Check #53: Commit a97e2ab pushed by nicovank
November 30, 2023 11:51 1m 53s main
November 30, 2023 11:51 1m 53s
Multiple version bumps, relax OpenAI package version
Sanity #76: Commit a97e2ab pushed by nicovank
November 30, 2023 11:51 30s main
November 30, 2023 11:51 30s
Allow dependencies in tests (#46)
Regression | Check #52: Commit 6c790ad pushed by nicovank
October 30, 2023 16:34 3m 37s main
October 30, 2023 16:34 3m 37s
Allow dependencies in tests (#46)
Sanity #75: Commit 6c790ad pushed by nicovank
October 30, 2023 16:34 37s main
October 30, 2023 16:34 37s
Allow dependencies in tests
Regression | Check #51: Pull request #46 synchronize by nicovank
October 30, 2023 16:31 1m 57s tests-allow-deps
October 30, 2023 16:31 1m 57s
Allow dependencies in tests
Sanity #74: Pull request #46 synchronize by nicovank
October 30, 2023 16:31 30s tests-allow-deps
October 30, 2023 16:31 30s
Allow dependencies in tests
Sanity #73: Pull request #46 opened by nicovank
October 30, 2023 16:28 36s tests-allow-deps
October 30, 2023 16:28 36s
Allow dependencies in tests
Regression | Check #50: Pull request #46 opened by nicovank
October 30, 2023 16:28 1m 49s tests-allow-deps
October 30, 2023 16:28 1m 49s
Regression | Generate
Regression | Generate #19: Manually run by nicovank
October 30, 2023 16:24 2m 12s tests-allow-deps
October 30, 2023 16:24 2m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.