chore: remaining renamings (#582) #161

Triggered via push October 28, 2025 18:02

psteinroe

main

Status Success

Total duration 1m 39s

Artifacts 1

deploy_docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	4.39 MB	`sha256:ee485482f894bedf4a521308ed3c34e1b1077a3e62532853955cc3ff91683b87`