Get named-character JSON from scanner rather than create a local copy… #4423

	name: Mathics3 (Consistency Checks)

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	jobs:
	build:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ['3.13']
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	sudo apt update -qq && sudo apt install llvm-dev remake
	python -m pip install --upgrade pip
	# We can comment out after next Mathics-Scanner release
	# We can comment out after next Mathics-Scanner release
	# python -m pip install -e git+https://github.com/Mathics3/mathics-scanner#egg=Mathics-Scanner[full]
	git clone --depth 1 https://github.com/Mathics3/mathics-scanner.git
	cd mathics-scanner/
	pip install -e .
	bash -x admin-tools/make-JSON-tables.sh
	cd ..
	pip install -e .

	- name: Install Mathics3 with minimum dependencies
	run: \|
	make develop
	- name: Test Mathics3 Consistency and Style
	run: \|
	make check-consistency-and-style
	make check-builtin-manifest

Provide feedback