11 commits

Author	SHA1	Message	Date
ClementTsang	60ba2be3c4	ci: Remove manual trigger [skip travis]	2020-08-24 02:37:21 -04:00
ClementTsang	797037335e	ci: Delete redundant fields	2020-08-24 02:36:50 -04:00
ClementTsang	a7f8aab6aa	ci: Fix again...	2020-08-24 02:22:33 -04:00
ClementTsang	f6f0aecc75	ci: Hopefully this works...?	2020-08-24 02:15:25 -04:00
ClementTsang	421e5cb4d6	ci: Fix broken env calls in Actions	2020-08-24 02:09:52 -04:00
ClementTsang	a9e02677ca	ci: Update deploy as one step	2020-08-24 02:02:51 -04:00
ClementTsang	17f8442330	ci: Add manual workflow dispatch for GitHub Actions	2020-08-24 02:00:26 -04:00
ClementTsang	dcbd542dee	ci: Fix invalid symbol in github deploy workflow	2020-08-24 01:55:36 -04:00
ClementTsang	f1371b8d9f	ci: Fix some incorrect behaviour caused by deployment script	2020-08-23 23:45:34 -04:00
Clement Tsang	f6aa8e5d1d	ci: fix indentation error	2020-08-19 10:40:58 -04:00
ClementTsang	a7b8d45682	Add deploy github script	2020-08-19 10:27:57 -04:00