search

leonbohn / lama

Learning and Manipulation of Automata
MIT License
4 stars 0 forks source link

Update tabled requirement from 0.14.0 to 0.15.0 in /automata-learning #28

Closed dependabot[bot] closed 9 months ago

dependabot[bot] commented 9 months ago

Updates the requirements on tabled to permit the latest version.

Changelog

Sourced from tabled's changelog.

[0.14.0] - 2023-08-04

Added

  • Added TableOption::hint_change method as an optimization vector.

Changed

  • ColumnNames interface was changed.

Fixed

  • ColumnNames alignment issue.

[0.13.0] - 2023-07-24

Added

  • Added settings::Dup to toplicate content.
  • Added settings::themes::ColumnNames to set text on border (adjusted to cells).
  • Added Xor implementation for Color.
  • Added Colorization to set colors of table by a pattern.

[0.12.2] - 2023-06-11

Fixed

  • Fixed wrapping algorithm (tabled::settings::Wrap::keep_words) for color feature.

[0.12.1] - 2023-06-02

Changed

  • Improved Wrap by reducing ansi usage (at the end of a line in some cases).

Fixed

  • Fixed ansi issue related to ansi-str by bumping it.

[0.12.0] - 2023-04-23

Added

Changed

  • Made a list of changes to tabled .
  • Made a list of changes to papergrid interface.

Fixed

... (truncated)

Commits


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 show ignore conditions` will show all of the ignore conditions of the specified dependency - `@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 9 months ago

Looks like tabled is up-to-date now, so this is no longer needed.