Publish docs

docs: remove now obsolete settings from docs #26

Triggered via push September 17, 2024 18:45

wkillerud

main

Status Success

Total duration 28s

Artifacts 1

publish_docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	17 MB	`sha256:6a1494a6990f3c7595159a0b693a3e3f51a9c76cf5bed8cc9e6ece90bbe08419`