12 Commits (0c9dfd7658df7b9e6e606f6c6a826156d8b94709)

Author	SHA1	Message	Date
Yangshun Tay	77ad895098	[infra] add GitHub actions for linting (#357)	2 years ago
Yangshun Tay	dfdd27cb85	[infra] add GitHub actions for typechecking (#356)	2 years ago
Yangshun	661c36cea9	website: change to www subdomain	3 years ago
Yangshun	25fdaa4666	website: add trailing slash config	3 years ago
Yangshun	a7ac2296ac	misc: add GitHub deploy action	4 years ago
Yangshun Tay	1c4fc56017	Delete main.workflow	5 years ago
Yangshun Tay	91da960c9e	misc: cd website dir before deploy	5 years ago
Yangshun Tay	3fca7dcd60	misc: try fixing deploy commit	5 years ago
Yangshun Tay	19ccd461e7	misc: add GitHub actions for automatic deployment	5 years ago
Yangshun Tay	ac78a5eb71	Update FUNDING.yml	6 years ago
Yangshun Tay	83630fc209	Update FUNDING.yml	6 years ago
Yangshun Tay	3bc0ed11c1	Create FUNDING.yml	6 years ago