Deploy to mirror server

build based on 30f2d09 #23

Sign in to view logs

Triggered via push October 21, 2023 15:28

gh-pages

Status Success

Total duration 25s

Artifacts –

deploy.yml

on: push