search

stanford-oval / node-smtlib

Node.js wrappers for SMT-Lib 2.0
MIT License
11 stars 3 forks source link

build(deps-dev): bump typedoc from 0.21.9 to 0.22.4 #211

Closed dependabot[bot] closed 3 years ago

dependabot[bot] commented 3 years ago

Bumps typedoc from 0.21.9 to 0.22.4.

Release notes

Sourced from typedoc's releases.

v0.22.4

Features

  • Flag option types like validation can now be set to true/false to enable/disable all flags within them.
  • Source code links now work with Bitbucket repositories, resolves #1615.
  • Added githubPages option (default: true), which will create a .nojekyll page in the generated output, resolves #1680.
  • MarkdownEvent is now exported, resolves #1696.

Bug Fixes

  • Fixed the hamburger menu not being visible on mobile devices, fixes #1699.
  • Comments on function implementations with overloaded signatures will now be correctly handled, fixes #1697.

Thanks!

v0.22.3

Bug Fixes

  • Switched the default highlighting themes back to light-plus and dark-plus, they were accidentally set to min-light and min-dark in v0.22.0.

Features

  • Added new validation option which can be used to disable checks for non-exported symbols. On the command line, this can be specified with --validation.notExported true, or in an options file with: 
    {
    "validation": {
        "notExported": true
    }
}
  • Added invalidLink to validation option, deprecated listInvalidSymbolLinks, which will be removed in 0.23.

v0.22.2

Bug Fixes

  • Fix background color of tables in dark mode, closes #1684.

v0.22.1

Bug Fixes

  • Validation for non-exported symbols will now only produce one warning per symbol, instead of one warning per reference.
  • Syntax highlighting when the preferred color scheme is dark but dark theme is not explicitly selected will now properly use the dark highlighting theme.

... (truncated)

Changelog

Sourced from typedoc's changelog.

v0.22.4 (2021-08-18)

Features

  • Flag option types like validation can now be set to true/false to enable/disable all flags within them.
  • Source code links now work with Bitbucket repositories, resolves #1615.
  • Added githubPages option (default: true), which will create a .nojekyll page in the generated output, resolves #1680.
  • MarkdownEvent is now exported, resolves #1696.

Bug Fixes

  • Fixed the hamburger menu not being visible on mobile devices, fixes #1699.
  • Comments on function implementations with overloaded signatures will now be correctly handled, fixes #1697.

Thanks!

v0.22.3 (2021-08-12)

Bug Fixes

  • Switched the default highlighting themes back to light-plus and dark-plus, they were accidentally set to min-light and min-dark in v0.22.0.

Features

  • Added new validation option which can be used to disable checks for non-exported symbols. On the command line, this can be specified with --validation.notExported true, or in an options file with: 
    {
    "validation": {
        "notExported": true
    }
}
  • Added invalidLink to validation option, deprecated listInvalidSymbolLinks, which will be removed in 0.23.

v0.22.2 (2021-08-11)

Bug Fixes

  • Fix background color of tables in dark mode, closes #1684.

v0.22.1 (2021-08-10)

Bug Fixes

  • Validation for non-exported symbols will now only produce one warning per symbol, instead of one warning per reference.
  • Syntax highlighting when the preferred color scheme is dark but dark theme is not explicitly selected will now properly use the dark highlighting theme.

... (truncated)

Commits


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)
coveralls commented 3 years ago

Pull Request Test Coverage Report for Build 678

Totals Coverage Status
Change from base Build 670: 0.0%
Covered Lines: 105
Relevant Lines: 138
💛 - Coveralls