Skip to content

Fix the version switcher for the docs - #258

Merged
StephenNneji merged 1 commit into
RascalSoftware:mainfrom
StephenNneji:fix_version_switcher
Sep 30, 2026
Merged

StephenNneji merged 1 commit into
RascalSoftware:mainfrom
StephenNneji:fix_version_switcher

Fix the version switcher for the docs

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

Annotations

1 warning and 1 notice
ruff
succeeded Sep 30, 2026 in 6s