chore: update github workflow #193

Triggered via push May 21, 2025 17:08

d-biehl

main

Status Success

Total duration 28s

Artifacts 1

deploy-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	12.6 MB	`sha256:15f6542259030ba891d12950d30c415e123375f8199b0df6a34882917e5744dc`