Closed mihaibudiu closed 1 year ago
@lalithsuresh what is the difference between a push and a pull_request CI test?
One gets triggered by a push and the other by a PR. Apparently they can't figure out when they're redundant. I'll see if I can fix it.
On Thu, Jan 26, 2023, 17:58 Mihai Budiu @.***> wrote:
@lalithsuresh https://github.com/lalithsuresh what is the difference between a push and a pull_request CI test?
— Reply to this email directly, view it on GitHub https://github.com/vmware/sql-to-dbsp-compiler/pull/99#issuecomment-1405921591, or unsubscribe https://github.com/notifications/unsubscribe-auth/AADKDW5HC3E4TSYRBRAAYD3WUMTSXANCNFSM6AAAAAAUIFR2LU . You are receiving this because you were mentioned.Message ID: @.***>
How about a review?
Signed-off-by: Mihai Budiu mbudiu@vmware.com