Fix Garbage collection and disappearing ports issue #1337

	name: Build docs artifact for PR

	on:
	pull_request:
	paths:
	- "docs/**"
	- "requirements.txt"

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	build-artifact:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v4

	- uses: actions/setup-python@v5
	with:
	python-version: 3.11
	cache: "pip" # caching pip dependencies

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

	- name: Compile static HTML
	run: make docs

	- name: Upload artifact
	uses: actions/upload-artifact@v4
	with:
	name: "github-pages-no-deploy"
	path: "docs/_build"

Provide feedback