fix(log): make the web log viewer work with ANSI log colors enabled #38

	name: Deploy docs to GitHub Pages

	on:
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:

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

	concurrency:
	group: pages
	cancel-in-progress: false

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Install Doxygen and Graphviz
	run: \|
	sudo apt-get update
	sudo apt-get install -y doxygen graphviz
	- name: Generate class documentation
	run: \|
	mkdir -p docs/generated
	doxygen
	- uses: actions/jekyll-build-pages@v1
	with:
	source: ./docs
	destination: ./_site
	# The Pages steps below need write-scoped credentials that pull_request
	# runs (especially from forks) don't get, so on PRs we stop after the
	# build above, which already validates that doxygen and Jekyll succeed.
	- if: github.event_name != 'pull_request'
	uses: actions/configure-pages@v5
	- if: github.event_name != 'pull_request'
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./_site

	deploy:
	needs: build
	if: github.event_name != 'pull_request'
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- id: deployment
	uses: actions/deploy-pages@v4

Provide feedback