5 Commits

Author	SHA1	Message	Date
Yangshun Tay	77ad895098	[infra] add GitHub actions for linting (#357)	2022-10-11 07:43:29 +08:00
Yangshun Tay	dfdd27cb85	[infra] add GitHub actions for typechecking (#356)	2022-10-11 07:27:41 +08:00
Yangshun	661c36cea9	website: change to www subdomain	2022-02-01 11:29:29 +08:00
Yangshun	25fdaa4666	website: add trailing slash config	2021-09-05 16:55:36 +08:00
Yangshun	a7ac2296ac	misc: add GitHub deploy action	2021-05-30 15:01:25 +08:00