Deploy to GitHub Pages

Update wiki side menu following 9.7 release (#717) #598

Sign in to view logs

Triggered via push November 17, 2025 16:35

master

Status Success

Total duration 1m 20s

Artifacts –

deploy-gh_pages.yml

on: push

build-and-deploy