Skip to content
sphinx

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

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 #7966

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

sphinx.yml

on: pull_request
build_docs
1m 55s
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:75c30960b383db3bd5907a86bb01271c8a24e2c5ed1c89ed2894469956376fab