Generate docs #12

Manually triggered July 5, 2023 18:33

njooma

main

Status Success

Total duration 2m 16s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: workflow_dispatch

Produced during runtime

Name	Size
html-docs Expired	36.4 MB