Skip to content

docs: publish versioned documentation#285

Merged
juelg merged 2 commits into
masterfrom
fix/docs-version-switcher
Apr 23, 2026
Merged

docs: publish versioned documentation#285
juelg merged 2 commits into
masterfrom
fix/docs-version-switcher

chore: move CI helper scripts into ci_scripts

3ff544d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build_gcc
succeeded Apr 23, 2026 in 1m 37s