ci: publish website to github pages - #2497

Merged

lidel merged 1 commit into

mainfrom

ci/github-pages

Jul 17, 2026

Codecov / codecov/project succeeded Jul 17, 2026 in 0s

62.79% (-0.02%) compared to d87d88b

View this Pull Request on Codecov

62.79% (-0.02%) compared to d87d88b

View more details on Codecov