Skip to content

Final sorry + PDF Overfills - #43

Merged
KellyJDavis merged 2 commits into
mainfrom
numina/aqft-in-lean
Oct 8, 2026
Merged

KellyJDavis merged 2 commits into
mainfrom
numina/aqft-in-lean

Fix overfull lines in the blueprint PDF

15cdea7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Oct 7, 2026 in 5m 18s