Skip to content

#1439 pitch accents and pronunciations are grouped by pronunciation #2258

#1439 pitch accents and pronunciations are grouped by pronunciation

#1439 pitch accents and pronunciations are grouped by pronunciation #2258

Re-run triggered November 5, 2024 19:38
Status Success
Total duration 17s
Artifacts 1

auto-approve.yml

on: pull_request
auto-approve
4s
auto-approve
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_num
141 Bytes