Build documentation

Add build.tools section, needed by RTD #5

Sign in to view logs

Triggered via push September 14, 2023 08:07

rtobar

docs

Status Success

Total duration 35s

Artifacts –

build-docs.yml

on: push

Build documentation