6 Commits

Author	SHA1	Message	Date
NI	706eb93150	Deploy the GitHub username change	2020-08-26 11:08:58 +08:00
NI	2a9aab8d63	Remove code which are no longer needed from CI/Deploy files	2020-08-16 00:24:58 +08:00
NI	724979a17a	.ci.sh: Better way to generate release notes.	2020-08-15 23:31:46 +08:00
NI	21fd0de2da	Fix the .ci.sh and GitHub Action	2020-07-29 10:42:36 +08:00
NI	89aebf9181	Remove Overalls from build process	2020-07-27 06:48:21 +08:00
NI	5663023135	Add necessary files for GitHub Action	2020-07-26 18:31:50 +08:00