feat: CICD check for generated code

Closes #120

Author: benbellick

.devcontainer/devcontainer.json

@@ -14,7 +14,7 @@
 	// "forwardPorts": [],
 
 	// Use 'postCreateCommand' to run commands after the container is created.
-	"postCreateCommand": "uv venv --clear && uv sync --extra test",
+	"postCreateCommand": "uv venv --clear && uv sync --extra test --extra gen_proto",
 
 	// Configure tool-specific properties.
 	"customizations": {

.github/workflows/codegen-check.yml

@@ -0,0 +1,44 @@
+name: Code Generation Check
+
+on:
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  codegen-check:
+    name: Verify Code Generation
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v5
+        with:
+          submodules: recursive
+
+      - name: Run code generation in devcontainer
+        uses: devcontainers/[email protected]
+        with:
+          runCmd: |
+            # Ensure dependencies are installed
+            uv sync --extra test --extra gen_proto
+            # Run all code generation steps
+            make antlr
+            ./gen_proto.sh
+            make codegen-extensions
+
+      - name: Check for uncommitted changes (ignoring timestamps)
+        run: |
+          # Check for diffs, ignoring timestamp lines
+          if ! git diff -I '#.*timestamp:.*' --quiet --exit-code src/substrait/gen/; then
+            echo "Code generation produced changes. Generated code is out of sync!"
+            echo ""
+            git diff -I '#.*timestamp:.*' src/substrait/gen/
+            echo ""
+            echo "To fix this, run:"
+            echo "  make antlr"
+            echo "  ./gen_proto.sh"
+            echo "  make codegen-extensions"
+            echo "Then commit the changes."
+            exit 1
+          fi