Build the documentation

Remove generic aliases #1120

Sign in to view logs

Re-run triggered October 11, 2025 11:12

srittau

#2098

leostimpfle:remove_generic_aliases

Status Success

Total duration 24s

Artifacts –

build-docs.yml

on: pull_request

Build documentation