Skip to content

ci: deploy the documentation of the release tag on the same commit as main - #59

Merged
Insei merged 1 commit into
mainfrom
ci/pages-build-version
Oct 19, 2026
Merged

Insei merged 1 commit into
mainfrom
ci/pages-build-version

ci: deploy the documentation of the release tag on the same commit as…

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

Annotations

1 warning and 1 notice
bench-diff
succeeded Oct 19, 2026 in 2m 43s