Build and deploy to gh-pages

smaller fixes to broken anchor links #673

Sign in to view logs

Triggered via push November 25, 2024 15:11

DerLinkman

master

Status Success

Total duration 58s

Artifacts –

gh-pages.yml

on: push

build-and-deploy