Add Schunk SVH 5-finger Hand into list of robots. (backport #68) #200

	# This is a format job. Pre-commit has a first-party GitHub action, so we use
	# that: https://github.com/pre-commit/action

	name: Format

	on:
	workflow_dispatch:
	pull_request:

	jobs:
	pre-commit:
	name: Format
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/[email protected]
	with:
	python-version: '3.10'
	- uses: pre-commit/[email protected]
	with:
	extra_args: --all-files --hook-stage manual

Provide feedback