5 Commits

Author	SHA1	Message	Date
Yun Feng	f1b5cb2738	CI: add a prettier GitHub action to format code automatically (#988) ... * CI: add a prettier GitHub action to format code automatically * improve GitHub Action config and format some files * Apply formatting changes * CI: make the prettier action a standalone action * Apply formatting changes * CI: add push as new trigger event Co-authored-by: Mark-Fenng <Mark-Fenng@users.noreply.github.com>	2022-09-06 09:38:43 +08:00
slimlime	3faace3801	📚 Quick typo check. Update replay.md (#237) ... Precise typo check of inprecise -> imprecise	2020-07-01 22:47:59 +08:00
Daniël van de Giessen	0f227492dc	Translated design docs to English (#19) ... * Renamed original documentation files * Add translated English design docs	2018-12-31 17:02:19 +08:00
Yanzhen Yu	e52ce9e380	fix file link	2018-11-08 17:04:18 +08:00
Yanzhen Yu	3fa9da75ec	add internal design docs	2018-11-08 16:52:53 +08:00