13 Commits

Author	SHA1	Message	Date
Pádraic Slattery	75a575ef5c	chore: Update outdated GitHub Actions versions (#729)	2026-01-16 18:15:02 +08:00
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
Yangshun Tay	1c4fc56017	Delete main.workflow	2019-08-11 16:58:42 -07:00
Yangshun Tay	91da960c9e	misc: cd website dir before deploy	2019-08-11 16:45:01 -07:00
Yangshun Tay	3fca7dcd60	misc: try fixing deploy commit	2019-08-11 16:41:51 -07:00
Yangshun Tay	19ccd461e7	misc: add GitHub actions for automatic deployment	2019-08-11 16:38:47 -07:00
Yangshun Tay	ac78a5eb71	Update FUNDING.yml	2019-05-25 22:51:27 -07:00
Yangshun Tay	83630fc209	Update FUNDING.yml	2019-05-25 22:51:00 -07:00
Yangshun Tay	3bc0ed11c1	Create FUNDING.yml	2019-05-25 22:48:44 -07:00