docs: Report type values for SystemResources [backport docs-release-5… #297

	name: Deploy docs
	on:
	push:
	branches:
	- 'docs-develop'
	- 'docs-release-.'
	jobs:
	deploy-docs:
	runs-on: ubuntu-latest
	steps:

	- uses: actions/checkout@v3
	with:
	fetch-depth: 0

	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.8'

	- name: Install MkDocs dependencies
	run: pip install -r requirements.txt

	- name: Configure Git user
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"

	- name: Deploy with mike
	run: mike deploy --push ${GITHUB_REF#refs/heads/}

Provide feedback