Remove accidental temporary file #154
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Adapter-conformance for SymPy (+ Mathematica fixture mode). | |
| name: adapter-conformance | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| sympy-conformance: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 20 | |
| steps: | |
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4 | |
| - name: Setup Python | |
| uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5 | |
| with: | |
| python-version: "3.12" | |
| - name: Install uv (SHA-pinned) | |
| uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2 | |
| with: | |
| enable-cache: true | |
| - name: Install dependencies (frozen lock required) | |
| run: | | |
| set -euo pipefail | |
| test -f uv.lock | |
| uv sync --frozen --extra dev --extra sympy | |
| echo "$PWD/.venv/bin" >> "$GITHUB_PATH" | |
| - name: Schema + registry + federation + assurance validate | |
| run: | | |
| python scripts/validate_schemas.py | |
| python scripts/validate_registry.py | |
| python scripts/validate_federation.py | |
| python scripts/validate_assurance.py | |
| - name: Unit tests | |
| run: python -m pytest adapters agent -q | |
| - name: Agent held-out tasks | |
| run: python scripts/run_agent_held_out.py | |
| - name: SymPy RFC 0001 conformance | |
| run: python scripts/run_adapter_conformance.py | |
| - name: Differential backends (Mathematica skip/fixture without Wolfram) | |
| run: python scripts/run_differential_backends.py | |
| - name: Mathematica fixture mode smoke | |
| env: | |
| MATHEVIDENCE_ADAPTER_MODE: fixture | |
| run: | | |
| python -c "from adapters.mathematica import discover_runtime; r=discover_runtime(); assert r.mode=='fixture'; print(r.detail)" | |
| - name: Sage fixture mode smoke | |
| env: | |
| MATHEVIDENCE_ADAPTER_MODE: fixture | |
| run: | | |
| python -c "from adapters.sage import discover_runtime; r=discover_runtime(); assert r.mode=='fixture'; print(r.detail)" |