core: with-type-constraint #12866

	# 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: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	cache: 'pip' # caching pip dependencies
	cache-dependency-path: \|
	setup.py
	requirements.txt
	- name: Upgrade pip
	run: \|
	pip install --upgrade pip
	- name: Install the package locally
	run: pip install -r requirements.txt
	- name: Run examples/tutorials
	run: \|
	# mlir_interoperation.ipynb is dependent on MLIR, and is tested in the MLIR-enabled workflow.
	pytest -W error --nbval -vv docs --ignore=docs/mlir_interoperation.ipynb
	- name: Test marimo notebooks
	run: \|
	make tests-marimo

Provide feedback