update docs for new default port #12

	name: Deploy Docs

	on:
	workflow_dispatch: {}
	push:
	branches:
	- main

	env:
	TZ: Asia/Shanghai

	permissions:
	contents: write
	pages: write
	id-token: write

	jobs:
	build:
	runs-on: ubuntu-latest
	if: github.repository == 'SubConv/SubConv.github.io'
	defaults:
	run:
	working-directory: docs
	steps:
	- uses: actions/checkout@v3
	- name: Setup Node.js
	uses: actions/[email protected]
	with:
	node-version: 18.15.0
	cache: yarn
	cache-dependency-path: docs/yarn.lock
	- name: Install Dependencies
	run: yarn --prefer-offline
	- name: Build
	run: yarn docs:build
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: docs/.vitepress/dist


	# Deployment job
	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	needs: build
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback