Repository navigation

Build and deploy to GitHub Pages

Update institute contacts and social media links in footer and SEO #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	21s
deploy	11s
	32s