Deploy to mirror server

Migrate to new mirror #24

Sign in to view logs

Re-run triggered October 22, 2023 12:00

HaoxuanGuo

gh-pages

Status Success

Total duration 28s

Artifacts –

deploy.yml

on: push