Sean Goller created GEODE-5380: ---------------------------------- Summary: Add PR pipeline to Geode Key: GEODE-5380 URL: https://issues.apache.org/jira/browse/GEODE-5380 Project: Geode Issue Type: Improvement Components: ci Reporter: Sean Goller
Add PR pipeline to Geode that integrates with GitHub pull requests. -- This message was sent by Atlassian JIRA (v7.6.3#76005)