#1756 Switching between show and hide comments causes focus to move a… #5

	#
	# Copyright 2017-2023 Elyra Authors
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	#
	name: deploy-docs
	on:
	push:
	branches:
	- main
	# Ensure build jobs for a PR are cancelled when a new commit is pushed to the PR
	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true
	permissions:
	contents: write
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
	- uses: actions/cache@v4
	with:
	key: mkdocs-material-${{ env.cache_id }}
	path: .cache
	restore-keys: \|
	mkdocs-material-
	- run: pip install mkdocs-material
	- run: mkdocs gh-deploy --force

Provide feedback