Publish Docs

Publish Docs #7138

Manually triggered May 24, 2025 09:05

main

Status Success

Total duration 55s

Artifacts 1

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

Publish-Docs.yml

on: workflow_dispatch

Produced during runtime

Name	Size	Digest
github-pages Expired	924 KB	`sha256:d59aca5366b738928f45008a9fb7886df89b5262a28a569a09fe0f1620077431`