dialects: (builtin) add IntegerAttr truncation and use in individual rewrite #13958

	# This workflow will install Python dependencies, run tests and lint with a single version of Python
	# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions

	name: CI - Python Notebooks

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

	jobs:
	build:

	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ['3.10', '3.11', '3.12']

	steps:
	- uses: actions/checkout@v4

	- name: Install uv
	uses: astral-sh/setup-uv@v3
	with:
	enable-cache: true
	cache-dependency-glob: "uv.lock"

	- name: Set up Python ${{ matrix.python-version }}
	run: uv python install ${{ matrix.python-version }}

	- name: Install the project
	run: make venv

	- name: Run examples/tutorials
	run: \|
	# mlir_interoperation.ipynb is dependent on MLIR, and is tested in the MLIR-enabled workflow.
	uv run pytest -W error --nbval -vv docs --ignore=docs/mlir_interoperation.ipynb

	- name: Test marimo notebooks
	run: \|
	make tests-marimo

Provide feedback