chore: update github workflow #198

Triggered via push May 21, 2025 20:13

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:3d7de59ee28f73614620143abde54fda784eca5722770e591d565caf76dc74fa`