Deploy Docs

fix gitignore breaking docs #4

Triggered via push August 23, 2024 22:30

docs-html

Status Success

Total duration 20s

Artifacts 1

deploy-docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	2.78 MB