Make jagged vector copies with copy::to smarter. (#335) #1159

	# VecMem project, part of the ACTS project (R&D line)
	#
	# (c) 2021-2025 CERN for the benefit of the ACTS project
	#
	# Mozilla Public License Version 2.0

	# Name for this "action".
	name: Checks

	# Perform the builds on every push and pull request.
	on: [ push, pull_request ]

	# All the different "check" jobs.
	jobs:

	# Check the formatting of the code using pre-commit.
	format:
	runs-on: ubuntu-latest
	env:
	PRE_COMMIT_HOME: '/tmp/pre-commit'
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.12'
	- uses: actions/cache@v4
	with:
	path: \|
	${{ env.PRE_COMMIT_HOME }}
	key: ${{ runner.os }}-${{ hashFiles('.pre-commit-config.yaml') }}
	- name: Install pre-commit
	run: pip install pre-commit
	- name: Run pre-commit
	run: pre-commit run --all-files --show-diff-on-failure

Provide feedback