Fix mdbook build
error preventing deploys
#307
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Deploys aren't working right now. I don't know when the issue started or what caused it, but it must be recent-ish.
Example GHA failure here:
There's a
preprocessor.goals.ignore_users
value in theusers
config, so it's seen as a user in the users config, and causes an error. From the preprocessor code, it looks like it should be a separate config section, with its own key of users to ignore. This PR does that. (I don't know what the ignoring users code does or if it works, this PR just fixesmdbook build
)In the logs above, there's also a warning about the version of mdbook
Warning: The goals plugin was built against version 0.4.43 of mdbook, but we're being called from version 0.4.40
, so I've also bumped the GHA one to 0.4.43.(From the logs, I've also noticed there's a
cargo rpg json 2024h2 --json-path src/api/2024h2.json
step in the justfile, but I don't know what it does and if it needs to be updated for 2025h1?)