Implemenation of Batch.{from_batch_list,from_batch_index,add_graph_at… #13

	name: Linting

	on: # yamllint disable-line rule:truthy
	push:
	branches:
	- master
	pull_request:

	jobs:

	pyright:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Setup packages
	uses: ./.github/actions/setup
	with:
	full_install: false

	- name: Install pyright
	run: \|
	pip install pyright

	- name: Run pyright
	continue-on-error: true
	run: \|
	pyright

	pylint:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/[email protected]
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install pylint

	- name: Run linting
	continue-on-error: true
	run: pylint */.py

	mypy:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/[email protected]
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install mypy

	- name: Check type hints
	continue-on-error: true
	run: \|
	mypy --install-types --non-interactive --ignore-missing-imports -m torch_geometric

Provide feedback