Skip to content
sphinx

Fixes #13840 - handle duplicate items correctly in binary search #5565

Sign in to view logs

Fixes #13840 - handle duplicate items correctly in binary search

Fixes #13840 - handle duplicate items correctly in binary search #5565

Triggered via pull request November 2, 2025 07:44
@Nours135Nours135
opened #13841
Nours135:fix_binary_search
Status Success
Total duration 3m 4s
Artifacts 1

sphinx.yml

on: pull_request
build_docs
2m 59s
build_docs
deploy_docs
0s
deploy_docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
3.62 MB
sha256:2f0ae3cc18486265e2832aaedbb40e7ae6a6c55960c68a32d674371b67624fb0