6 Commits (9e12e35400a74fd1045d2977141d4b54f6ca7e6b)

Author	SHA1	Message	Date
Pádraic Slattery	75a575ef5c	chore: Update outdated GitHub Actions versions (#729)	3 weeks ago
Yangshun Tay	77ad895098	[infra] add GitHub actions for linting (#357)	3 years ago
Yangshun Tay	dfdd27cb85	[infra] add GitHub actions for typechecking (#356)	3 years ago
Yangshun	661c36cea9	website: change to www subdomain	4 years ago
Yangshun	25fdaa4666	website: add trailing slash config	4 years ago
Yangshun	a7ac2296ac	misc: add GitHub deploy action	5 years ago