Skip to content

Update translation files - #172

Open
TentativeConvert wants to merge 2 commits into
leanprover-community:mainfrom
TentativeConvert:update-translation-files
Open

TentativeConvert wants to merge 2 commits into
leanprover-community:mainfrom
TentativeConvert:update-translation-files

regenerate Game.json files

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

Annotations

1 warning
build
succeeded Sep 11, 2026 in 3m 37s