GitHub Pages

website/pages/home.md: cleanup dummy links #94

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build the Doxygen pages (0.18.0, 18)	16s
Deploy to GitHub Pages	7s
	23s