pip prod(deps): update sympy requirement from <1.13,>=1.9 to >=1.9,<1.14 #477

	# This workflow will install MLIR, Python dependencies, run tests and lint with a single version of Python
	# File inherited from https://github.com/xdslproject/xdsl/blob/main/.github/workflows/ci-mlir.yml

	name: CI - MLIR-based Testing

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	on:
	# Trigger the workflow on push or pull request,
	# but only for the master branch
	push:
	branches:
	- master
	pull_request:
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	container: papychacal/xdsl-llvm:98e674c9f16d677d95c67bc130e267fae331e43c
	steps:
	- name: Checkout Devito
	uses: actions/checkout@v4

	- name: Install native dependencies
	run: \|
	apt-get update && apt install curl mpich -y

	- name: Upgrade pip
	run: \|
	pip install --upgrade pip

	- name: Install requirements and xDSL
	run: \|
	pip install -e .[tests]
	pip install git+https://github.com/xdslproject/xdsl@48b530615ab877e980d1f6339c18e63970011311

	- name: Test no-MPI, no-Openmp
	run: \|
	export DEVITO_MPI=0
	export DEVITO_LANGUAGE=C
	# Add mlir-opt to the path
	export PATH=/xdsl-sc/llvm-project/build/bin/:$PATH
	pytest -m "not parallel" -k "not adjoint" tests/test_xdsl_* -vvv

Provide feedback