mirror of
https://github.com/stoatchat/for-web.git
synced 2026-07-21 15:15:21 -04:00
[PR #519] [MERGED] ci: fix mdbook build #672
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/stoatchat/for-web/pull/519
Author: @insertish
Created: 11/14/2025
Status: ✅ Merged
Merged: 11/14/2025
Merged by: @insertish
Base:
main← Head:claude/fix-failing-tests-01Q6yRnHZ27VjJzz3JfKvXCs📝 Commits (5)
89e1ad7fix: update mdbook-katex to use latest releaseae91d23ci: add pull_request trigger for book.yml46a93fdfix: fetch latest binary release of mdbook-katex1019851fix: remove empty preprocessor section from book.toml8772707fix: pin mdbook to v0.4.x for compatibility with mdbook-katex📊 Changes
2 files changed (+4 additions, -5 deletions)
View changed files
📝
.github/workflows/book.yml(+4 -3)📝
doc/book.toml(+0 -2)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.