search

lichess-org / lila-openingexplorer

Opening explorer for lichess.org that can handle all the variants and trillions of unique positions
http://lichess.org/analysis#explorer
GNU Affero General Public License v3.0
135 stars 34 forks source link

Bump moka from 0.11.0 to 0.11.1 #231

Closed dependabot[bot] closed 1 year ago

dependabot[bot] commented 1 year ago

Bumps moka from 0.11.0 to 0.11.1.

Changelog

Sourced from moka's changelog.

Version 0.11.1

Fixed

  • Fixed occasional panic in internal FrequencySketch in debug build. (#272[gh-pull-0272])

Added

  • Added some example programs to the examples directory. (#268[gh-pull-0268], by [@​peter-scholtens][gh-peter-scholtens])
Commits
  • c4b113a Tweak the README contents
  • a0d3342 Merge pull request #272 from moka-rs/fix-overflow-in-freq-sketch
  • 34d9ec7 Update the change log
  • e9afa96 Add a CI job to run Kani Verifier
  • b762483 Fix occasional panics in FrequencySketch::index_of method in a debug build
  • cde334d Add some test harnesses to the FrequencySketch to ensure no panic occurs
  • feded14 Merge pull request #271 from moka-rs/tweak-examples
  • dc767db Update the change log
  • 3565430 Tweak some examples
  • 62d035c Bump the version to v0.11.1
  • Additional commits viewable in compare view


Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
dependabot[bot] commented 1 year ago

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.