Skip to content

add AI seeding for Japanese, created by gpt-5.6 sol - #718

Merged
moritz-gross merged 1 commit into
daisy:jafrom
moritz-gross:ja
Aug 28, 2026
Merged

add AI seeding for Japanese, created by gpt-5.6 sol#718
moritz-gross merged 1 commit into
daisy:jafrom
moritz-gross:ja

add AI seeding for Japanese, created by gpt-5.6 sol

d6c5077
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and fuzz (with MathML dict + corpus cache)
succeeded Aug 28, 2026 in 2h 8m 36s