Build and deploy documentation

docs: publish documentation to github pages 🥳 #10

Sign in to view logs

Triggered via push December 12, 2025 14:08

jeboehm

main

Status Success

Total duration 18s

Artifacts –

docs.yml

on: push

build_documentation