add few ops of bufferization dialect and arith dialect. #318

	name: "AutoTest"

	on:
	workflow_dispatch: # can trigger manually
	pull_request: # can trigger on pull requests
	push: # can trigger on pushes
	branches:
	- main

	jobs:
	autotest:
	name: Pytest check
	runs-on: ubuntu-latest
	container:
	image: ghcr.io/huawei-cpllab/pydsl-ci:latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Editable install
	shell: bash
	run: pip install -e .
	- name: Run pytest
	shell: bash
	run: pytest
	formattest:
	name: Code formatting check
	runs-on: ubuntu-latest
	steps:
	- name: Install Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.12.x'
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Install dependencies
	shell: bash
	run: pip install hatch
	- name: Code formatting check
	shell: bash
	run: hatch fmt -f --check

Provide feedback