8 digits with slash symbols used in music notation #953
eggrobinpipeline.yml
on: pull_request
Labels for repertoire changes
6s
Proposal document
3s
UTC decision
2s
Draft unless approved
3s
Annotations
2 errors and 5 warnings
|
Need UTC decision
PRs for approved or provisionally assigned must include a link to a UTC decision.
|
|
UTC decision
Process completed with exit code 1.
|
|
Labels for repertoire changes
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Proposal document
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
UTC decision
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Draft unless approved
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
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.
|