Deploy to GitHub Pages

Merge pull request #728 from bittin/patch-2 #612

Sign in to view logs

Triggered via push December 15, 2025 11:21

master

Status Success

Total duration 1m 18s

Artifacts –

deploy-gh_pages.yml

on: push

build-and-deploy