Deploy to GitHub Pages

Switch to other github URL to fix SSL error (#2082) #163

Sign in to view logs

Triggered via push September 19, 2025 11:08

dscho

gh-pages

Status Success

Total duration 6m 7s

Artifacts –

deploy.yml

on: push