Build and deploy docs

chore: trigger workflow when PR is marked ready for review (#1753) #253

Sign in to view logs

Triggered via push February 5, 2026 14:37

janfb

main

Status Success

Total duration 1m 18s

Artifacts –

build_docs.yml

on: push

Build Documentation