Tools: add a script to download Unicode data files, and rename grapheme_break_property_data_gen.py to unicode_properties_data_gen.py
#619
Triggered via pull request
March 3, 2024 05:14
cpplearner
cpplearner
opened
#4435
Status
Success
Total duration
16s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
assign-new-prs.yml
on: pull_request_target
Initial Review
7s
Work In Progress
0s