docs: add link to generated options documentation page #3

Triggered via push November 18, 2023 18:54

master

Status Success

Total duration 5m 11s

Artifacts 1

options-doc.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	30 KB