Deploy options documentation site to Pages

github: assign update PRs to myself #11

Sign in to view logs

Triggered via push November 18, 2023 23:11

master

Status Success

Total duration 1m 1s

Artifacts 1

options-doc.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	30 KB