Fix monthly-updates PDF failure and the API map/references mirror push - #24
Merged
jstoobysmith merged 3 commits intoSep 18, 2026
Conversation
The 2026-09-01 scheduled run failed because the August Lean sources use three Unicode math glyphs XeLaTeX/DejaVu Sans Mono can't render and that aren't in MISSING_GLYPH_MATH: ⋆ (U+22C6), 𝐚 (U+1D41A), 𝐍 (U+1D40D). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
mirror-to-personal.yml keeps Gabrielebattimelli/Physlib-Website in sync by rewriting commit authorship (filter-branch) and force-pushing, so its history is never a fast-forward descendant of this repo's real commits. The plain `git push mirror` these two workflows also do (needed because GITHUB_TOKEN pushes don't trigger mirror-to-personal.yml) has therefore been rejected as non-fast-forward on every run since at least 2026-08-24, so API map / monthly update commits reached main but never the deployed site. The mirror is a deploy artifact, not shared history, so force is correct here too. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
References.json (added in PR Kernel-Science#23) had no workflow running it, unlike APIMap.json and the monthly updates: it was generated once for that PR and had no path to staying current. Add a weekly scheduled workflow that mirrors api-map.yml: run the generator, commit if changed, and push to the Vercel mirror. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Summary
Three fixes to the scheduled data-generation workflows, found while checking why the live site's monthly updates / API map / references pages looked stale:
Generate monthly updatewas failing outright. The 2026-09-01 run for August errored inassertGlyphsCovered: three Unicode math glyphs used in that month's Lean sources aren't inMISSING_GLYPH_MATH(⋆ U+22C6, 𝐚 U+1D41A, 𝐍 U+1D40D), so XeLaTeX would've silently dropped them from the PDF. Added the three mappings, following the existing conventions in that table.Generate API mapandGenerate monthly updatewere pushing to main fine but failing on the mirror step, every run since at least 2026-08-24.mirror-to-personal.ymlkeepsGabrielebattimelli/Physlib-Website(the repo Vercel actually deploys) in sync by rewriting commit authorship and force-pushing. The plaingit push mirrorthese two workflows also do — needed becauseGITHUB_TOKENpushes don't triggermirror-to-personal.yml— was therefore rejected as non-fast-forward every time, so these updates reachedmainbut never the deployed site. Added--force, matching whatmirror-to-personal.ymlalready does to that same mirror.References.json(added in Add references page #23) had no workflow generating it at all. Unlike the API map and monthly updates, it was only ever generated once, for that PR. Addedreferences.yml, a weekly scheduled workflow mirroringapi-map.yml's structure exactly (generate-references.jsneeds no extra npm deps, so it skips thenpm cistep).Test plan
node --checkon the edited generator scriptGenerate monthly updatefor2026-08to confirm the PDF now builds, andGenerate API mapto confirm the mirror push succeedsGenerate referencesrun once (dispatch or wait for Monday) and confirmReferences.jsonupdates and reaches the mirror🤖 Generated with Claude Code