Merge branch 'master' into update-name #400

	name: Page Build

	on: [push]

	jobs:
	build-deploy:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0 # Fetch all history for .GitInfo and .

	- name: Typo check
	uses: crate-ci/[email protected]

	- name: Setup Hugo
	uses: peaceiris/actions-hugo@v2
	with:
	hugo-version: "0.91.2"
	extended: true

	- name: Build
	run: hugo

	- name: Check broken links
	uses: ruzickap/action-my-broken-link-checker@v2
	with:
	url: https://${{ github.event.repository.name }}
	pages_path: ./public
	cmd_params: "\
	--timeout=20 \
	--buffer-size 8192 \
	--max-connections=10 \
	--max-response-body-size=70000000 \
	-e linkedin.com \
	-e twitter.com \
	-e facebook.com \
	-e gstatic.com \
	-e researchgate.net \
	-e arxiv.org \
	-e valuenex.com \
	-e challenge2018.isic-archive.com \
	-e paper-survey \
	-e publication/#\\d \
	-e index.webmanifest \
	-e honet-ict.org \
	-e jsps.go.jp \
	-e www.cikm2022.org \
	-e .*.xml \
	"

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	if: github.event_name == 'push' && github.ref == 'refs/heads/master'
	with:
	deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
	publish_dir: ./public
	publish_branch: gh-pages # deploying branch
	cname: shunk031.me

Provide feedback