Deploy Docs

Postprocess modiffications (#145) #143

Triggered via push August 13, 2025 19:28

main

Status Success

Total duration 1m 39s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

gh-pages.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	2.7 MB	`sha256:342b0f81d69bb948d04905dd12118463b47092d4e8b60d67015004e1a82d6392`