Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

deps: Bump Docusaurus 3.3.2+Fix line highlighting #820

Merged
merged 4 commits into from
May 16, 2024

Conversation

matevz
Copy link
Member

@matevz matevz commented May 15, 2024

This PR:

  • bumps docusaurus to the latest 3.3.2 version
  • bumps external/sapphire-paratime for the updated diagrams
  • fixes the line highlighting bug
  • bumps external/cli to include the correct line highlighting syntax

@matevz matevz requested a review from lubej May 15, 2024 09:26
@matevz matevz force-pushed the matevz/deps/docusaurus-3.3.2 branch from b41fd9c to 0cb06ef Compare May 15, 2024 09:28
Copy link

netlify bot commented May 15, 2024

Deploy Preview for oasisprotocol-docs ready!

Name Link
🔨 Latest commit 9e86b86
🔍 Latest deploy log https://app.netlify.com/sites/oasisprotocol-docs/deploys/6645cdf544b2cc0008c4de44
😎 Deploy Preview https://deploy-preview-820--oasisprotocol-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@matevz matevz force-pushed the matevz/deps/docusaurus-3.3.2 branch from 0cb06ef to 5b6708e Compare May 15, 2024 09:36
@matevz matevz changed the title deps: Bump Docusaurus 3.3.2 deps: Bump Docusaurus 3.3.2+Fix line highlighting May 15, 2024
@matevz matevz force-pushed the matevz/deps/docusaurus-3.3.2 branch from a2417fd to 1e4ac6e Compare May 16, 2024 09:09
@matevz matevz force-pushed the matevz/deps/docusaurus-3.3.2 branch from 1e4ac6e to 9e86b86 Compare May 16, 2024 09:12
@matevz matevz merged commit 19b381b into main May 16, 2024
6 checks passed
@matevz matevz deleted the matevz/deps/docusaurus-3.3.2 branch May 16, 2024 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants