5 Commits

Author	SHA1	Message	Date
rcy17	32fb91f8fc	Try to fix github action condition	2023-03-02 23:34:20 +08:00
rcy17	5dbc1db97c	Update github action	2023-03-02 23:33:10 +08:00
Campbell He	9f0da00b02	ci: add mirror action	2022-10-05 10:15:17 +08:00
hw0505	3f9439fbf5	Delete autograding.json	2022-07-12 11:04:18 +08:00
hw0505	38c31bcd44	Create autograding.json	2022-07-12 10:50:17 +08:00