3 musical symbol characters #1070
pipeline.yml
on: pull_request
Labels for repertoire changes
6s
Proposal document
4s
UTC decision
3s
Draft unless approved
5s
Annotations
5 warnings
Labels for repertoire changes
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
UTC decision
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Proposal document
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Draft unless approved
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Not in the 16.0 pipeline:
unicodetools/data/ucd/dev/DerivedAge.txt#L1
While the Unicode Technical Committee has provisionally assigned these
characters, they have not been accepted for Unicode 16.0, nor for any
specific version of Unicode.
The Age property values for new characters are likely incorrect right
now. They will be recomputed after the UTC accepts their encoding and
this pull request is updated for the target version.
|