Skip to content
sphinx

fix: bad-character shift in Boyer-Moore search has no effect #7969

Sign in to view logs

fix: bad-character shift in Boyer-Moore search has no effect

fix: bad-character shift in Boyer-Moore search has no effect #7969

Triggered via pull request August 24, 2026 20:10
@bolverkbolverk
synchronize #15010
bolverk:fix/boyer-moore-bad-character-shift
Status Success
Total duration 2m 13s
Artifacts 1

sphinx.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages
3.68 MB
sha256:2f9bc4f8ec86651b137330e231766096e9f2d6c8b4ff89a848d911c3fb46df62