8 digits with slash symbols used in music notation #1432
eggrobinpipeline.yml
on: pull_request
Labels for repertoire changes
14s
Proposal document
2s
UTC decision
3s
Draft unless approved
5s
Annotations
5 warnings
|
Labels for repertoire changes
The following actions use a deprecated Node.js version 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 use a deprecated Node.js version 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 use a deprecated Node.js version 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 use a deprecated Node.js version 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 17.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 17.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.
|