Skip to content

Comments

book: update to mdbook 0.5#1022

Open
conradoplg wants to merge 1 commit intomainfrom
mdbook-0.5
Open

book: update to mdbook 0.5#1022
conradoplg wants to merge 1 commit intomainfrom
mdbook-0.5

Conversation

@conradoplg
Copy link
Contributor

Ended up doing this while I was working in #1020 and noticed that mdbook was outdated.

It now has native admonitions so we can stop using mdbook-admonish (though to be frank it does not look as nice, but we can probably improve the looks later if we wish)

Closes #1021

@github-actions
Copy link

Visit the preview URL for this PR (updated for commit 5305435):

https://frost-book--pr1022-mdbook-0-5-9irr2glr.web.app

(expires Thu, 05 Mar 2026 23:02:38 GMT)

🔥 via Firebase Hosting GitHub Action 🌎

Sign: b7f43333fbf8fa5527ab3f0dd7bd10bb1fa7401c

@codecov
Copy link

codecov bot commented Feb 19, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.02%. Comparing base (1399dc0) to head (5305435).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1022   +/-   ##
=======================================
  Coverage   77.02%   77.02%           
=======================================
  Files          42       42           
  Lines        4614     4614           
=======================================
  Hits         3554     3554           
  Misses       1060     1060           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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.

Updated to mdbook 0.5

1 participant