Add manual trigger and workflow file monitoring to docs deployment #1

Triggered via push July 7, 2025 10:34

WenyinWei

main

Status Success

Total duration 2m 6s

Artifacts 1

docs-deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	18 MB	`sha256:18ebdc9a6c11fcf94de10449d54e9838bcfc20fee88132204528db6657b098b7`