chore: update github workflow · robotcodedev/robotcode@2f8bff2

Triggered via push May 21, 2025 17:36

d-biehl

main

Status Success

Total duration 32s

Artifacts 1

deploy-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	12.6 MB	`sha256:7da757a463dc31ba6aea67d627b92fae7b49b310a289ee85982cb87a47275257`