Build documentation index

docs: add direct editing developer documentation #1692

Sign in to view logs

Triggered via pull request June 2, 2026 09:44

juliusknorr

synchronize #15063

feature/direct-editing-docs

Status Success

Total duration 37m 38s

Artifacts –

generate-top-index.yml

on: pull_request

Build index.html