search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
128 stars 16 forks source link

build(deps): bump @docusaurus/core from 2.3.0 to 2.4.1 in /docs #279

Closed dependabot[bot] closed 1 year ago

dependabot[bot] commented 1 year ago

Bumps @docusaurus/core from 2.3.0 to 2.4.1.

Release notes

Sourced from @​docusaurus/core's releases.

2.4.1 (2023-05-15)

:bug: Bug Fix

  • docusaurus-theme-classic, docusaurus-theme-common
    • #8971 fix(theme): fix collapsible sidebar behavior when prefers-reduced-motion (@​slorber)
  • docusaurus-theme-translations
  • docusaurus
  • docusaurus-plugin-content-blog, docusaurus-theme-common, docusaurus-utils-common, docusaurus
    • #8909 fix(theme): add __ prefix to technical anchors, search crawlers (Algolia) should ignore them (@​slorber)
  • docusaurus-theme-common
    • #8906 fix(theme-common): fix collapsible component with prefers-reduced-motion (@​slorber)
    • #8873 fix(theme-common): fix confusing theme error message: bad sidebar id suggestions (@​slorber)
  • docusaurus-utils
    • #8874 fix(utils): handle Markdown links with spaces to route correctly (@​morsko1)
  • docusaurus-theme-classic, docusaurus-theme-translations
  • create-docusaurus

:nail_care: Polish

  • docusaurus-theme-classic
    • #8862 refactor(theme): expose copy, success and word-wrap icons as standalone components (@​armano2)

Committers: 7

2.4.0 (2023-03-23)

Blog post: https://docusaurus.io/blog/releases/2.4/

:rocket: New Feature

  • docusaurus-plugin-content-docs, docusaurus-theme-classic
    • #8236 feat(content-docs): add support for sidebar item category/link descriptions in generated index page (@​ZarakiKanzaki)
  • docusaurus-theme-classic
    • #8708 feat(theme): allow to load a Docusaurus page with theme from query-string: ?docusaurus-theme=dark (@​slorber)
    • #8616 feat(theme): add ability to translate navbar+footer logo alt text (@​Mysterious-Dev)
  • docusaurus-remark-plugin-npm2yarn
    • #8690 feat(npm-to-yarn): add support for PnPm and custom converters (@​armano2)

... (truncated)

Changelog

Sourced from @​docusaurus/core's changelog.

2.4.1 (2023-05-15)

:bug: Bug Fix

  • docusaurus-theme-classic, docusaurus-theme-common
    • #8971 fix(theme): fix collapsible sidebar behavior when prefers-reduced-motion (@​slorber)
  • docusaurus-theme-translations
  • docusaurus
  • docusaurus-plugin-content-blog, docusaurus-theme-common, docusaurus-utils-common, docusaurus
    • #8909 fix(theme): add __ prefix to technical anchors, search crawlers (Algolia) should ignore them (@​slorber)
  • docusaurus-theme-common
    • #8906 fix(theme-common): fix collapsible component with prefers-reduced-motion (@​slorber)
    • #8873 fix(theme-common): fix confusing theme error message: bad sidebar id suggestions (@​slorber)
  • docusaurus-utils
    • #8874 fix(utils): handle Markdown links with spaces to route correctly (@​morsko1)
  • docusaurus-theme-classic, docusaurus-theme-translations
  • create-docusaurus

:nail_care: Polish

  • docusaurus-theme-classic
    • #8862 refactor(theme): expose copy, success and word-wrap icons as standalone components (@​armano2)

Committers: 7

2.4.0 (2023-03-23)

:rocket: New Feature

  • docusaurus-plugin-content-docs, docusaurus-theme-classic
    • #8236 feat(content-docs): add support for sidebar item category/link descriptions in generated index page (@​ZarakiKanzaki)
  • docusaurus-theme-classic
    • #8708 feat(theme): allow to load a Docusaurus page with theme from query-string: ?docusaurus-theme=dark (@​slorber)
    • #8616 feat(theme): add ability to translate navbar+footer logo alt text (@​Mysterious-Dev)
  • docusaurus-remark-plugin-npm2yarn
    • #8690 feat(npm-to-yarn): add support for PnPm and custom converters (@​armano2)
  • docusaurus
    • #8677 feat(core): add script env variables: NODE_ENV + BABEL_ENV + DOCUSAURUS_CURRENT_LOCALE (temporary i18n workaround) (@​slorber)

... (truncated)

Commits
  • 60e657d v2.4.1
  • 704841f fix(core): Correct yarn upgrade command for yarn 2.x (#8908)
  • b345e9b fix(theme): add __ prefix to technical anchors, search crawlers (Algolia) sho...
  • 4fb67ef chore: backport retro compatible commits for the Docusaurus v2.4 release (#8809)
  • c60387d chore: backport retro compatible commits for the Docusaurus v2.3.1 release (#...
  • c84d779 chore: backport retro compatible commits for the Docusaurus v2.3 release (#8585)
  • ec8230b chore: upgrade dependencies (#7596)
  • 7869e74 refactor(pwa): simplify registerSW code, fix ESLint errors (#7579)
  • 90d2de6 chore: upgrade dependencies (#7560)
  • See full diff 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)
shym commented 1 year ago

@dependabot rebase

dependabot[bot] commented 1 year ago

Superseded by #346.