Correct symbols after derived type enrichment #1575

	name: code-checks

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push events
	push:
	branches: [ 'main' ]
	tags-ignore: [ '**' ]

	# Triggers the workflow on pull request events
	pull_request:

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	code_checks:
	name: code checks

	runs-on: ubuntu-latest
	strategy:
	fail-fast: false # false: try to complete all jobs
	matrix:
	python-version: ["3.11"]

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	cache: 'pip'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install .[tests,examples] ./lint_rules
	pip list
	- name: Add pylint annotator
	uses: pr-annotators/[email protected]
	- name: Analysing the code with pylint
	run: \|
	pylint --rcfile=.pylintrc loki
	pushd lint_rules && pylint --rcfile=../.pylintrc lint_rules tests; popd
	jupyter nbconvert --to=script --output-dir=example_converted example/*.ipynb
	pylint --rcfile=.pylintrc_ipynb example_converted/*.py

Provide feedback