Update ci.yml

Author: stuck-inadream

.github/workflows/ci.yml

@@ -12,9 +12,20 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: "3.11"
+
       - name: Install deps
         run: |
           python -m pip install --upgrade pip
-          pip install pytest==8.3.3 z3-solver==4.13.0.0
+          pip install pytest==8.3.3 z3-solver==4.13.0.0 gradio==4.44.0
+
+      - name: Compile for early syntax errors
+        run: |
+          python -m py_compile gradio_demo.py
+          python - <<'PY'
+          import glob, py_compile
+          [py_compile.compile(p, doraise=True) for p in glob.glob("tests/*.py")]
+          print("compiled tests ok")
+          PY
+
       - name: Run tests
         run: pytest -ra