search

ocaml-gospel / gospel

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

Bump @docusaurus/core from 2.3.0 to 2.4.3 in /docs #346

Open dependabot[bot] opened 11 months ago

dependabot[bot] commented 11 months ago

Bumps @docusaurus/core from 2.3.0 to 2.4.3.

Release notes

Sourced from @​docusaurus/core's releases.

2.4.3 (2023-09-20)

:bug: Bug Fix

  • docusaurus-plugin-content-docs
    • #9107 fix(content-docs): sidebar generator should return customProps for doc items (@​TheCatLady)
  • docusaurus-theme-classic
    • #9108 feat(theme-classic): add description & keywords microdata to blog posts (@​TheCatLady)
    • #9099 fix(theme): only set classname on ul elements if they have an existing class (@​homotechsual)
    • #9243 fix(theme-common): ThemedComponent should display something when JS is disabled (@​slorber)
  • docusaurus-theme-classic, docusaurus-theme-common
    • #9130 fix(theme): canonical url should be not change after hydration if url accessed with/without trailing slash (@​ori-shalom)

Committers: 4

2.4.2 (2023-09-20)

Bad npm publish, please use 2.4.3

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)

... (truncated)

Changelog

Sourced from @​docusaurus/core's changelog.

2.4.3 (2023-09-20)

:bug: Bug Fix

  • docusaurus-plugin-content-docs
    • #9107 fix(content-docs): sidebar generator should return customProps for doc items (@​TheCatLady)
  • docusaurus-theme-classic
    • #9108 feat(theme-classic): add description & keywords microdata to blog posts (@​TheCatLady)
    • #9099 fix(theme): only set classname on ul elements if they have an existing class (@​homotechsual)
    • #9243 fix(theme-common): ThemedComponent should display something when JS is disabled (@​slorber)
  • docusaurus-theme-classic, docusaurus-theme-common
    • #9130 fix(theme): canonical url should be not change after hydration if url accessed with/without trailing slash (@​ori-shalom)

Committers: 4

2.4.2 (2023-09-20)

Bad npm publish, please use 2.4.3

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)

... (truncated)

Commits
  • 56410aa v2.4.3
  • 4ab5a93 chore: backport retro compatible commits for the Docusaurus v2.4.2 release (#...
  • 4a2200a chore: backport retro compatible commits for the Docusaurus v2.4.1 release (#...
  • 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 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)
shym commented 11 months ago

CI reports a success but the log contains some errors, so I’m not sure this is working as expected.