Skip to content
Deploy to mirror server

Update CI to adapt new mirror server #22

Sign in to view logs

Update CI to adapt new mirror server

Update CI to adapt new mirror server #22

Triggered via push October 21, 2023 15:18
@HaoxuanGuoHaoxuanGuo
pushed 204ddfa
gh-pages
Status Success
Total duration 28s
Artifacts –

deploy.yml

on: push
deploy_juliacn
19s
deploy_juliacn
Fit to window
Zoom out
Zoom in