From 0b7129ad3858b5c6b69e65da692f47dbd9a30e4f Mon Sep 17 00:00:00 2001
From: Daylon Wilkins <daylon@liquidata.co>
Date: Fri, 24 May 2024 04:06:39 -0700
Subject: [PATCH] Added workflow for checking DoltgreSQL

---
 .github/workflows/doltgres-dependency.yml | 47 +++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 .github/workflows/doltgres-dependency.yml

diff --git a/.github/workflows/doltgres-dependency.yml b/.github/workflows/doltgres-dependency.yml
new file mode 100644
index 0000000000..b2bb57bb2f
--- /dev/null
+++ b/.github/workflows/doltgres-dependency.yml
@@ -0,0 +1,47 @@
+name: Test Integration with DoltgreSQL
+on: [pull_request]
+
+jobs:
+  test-integration:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout go-mysql-server
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
+
+      - name: Install Go
+        uses: actions/setup-go@v5
+        with:
+          go-version-file: go/go.mod
+
+      - name: Clone DoltgreSQL repository
+        run: git clone https://github.com/dolthub/doltgresql.git
+
+      - name: Update DoltgreSQL's dependency
+        run: |
+          cd doltgresql
+          ./postgres/parser/build.sh
+          go get github.com/dolthub/dolt/go@${{ github.event.pull_request.head.sha }}
+          go get github.com/dolthub/dolt/go/gen/proto/dolt/services/eventsapi@${{ github.event.pull_request.head.sha }}
+          go mod tidy
+
+      - name: Test DoltgreSQL
+        run: |
+          cd doltgresql/testing/go
+          go test ./... --count=1 -skip Replication || echo "doltgresql-tests-failed" > $GITHUB_WORKSPACE/doltgresql-test-result.txt
+
+      - name: Comment on failures
+        if: always()
+        run: |
+          TEST_COMMENT=""
+          if [ -f $GITHUB_WORKSPACE/doltgresql-test-result.txt ]; then
+            TEST_COMMENT="Additional work is required for integration with [DoltgreSQL](https://github.com/dolthub/doltgresql)."
+          fi
+          if [ -n "$TEST_COMMENT" ]; then
+            curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
+              -X POST \
+              -d "{\"body\": \"$TEST_COMMENT\"}" \
+              "https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments"
+          fi