Correct branch name for docs workflow. #1

Triggered via push November 25, 2023 17:26

rmp135

master

Status Success

Total duration 44s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	800 KB