Musical notes and rests #1384
eggrobinpipeline.yml
on: pull_request
Labels for repertoire changes
11s
Proposal document
4s
UTC decision
2s
Draft unless approved
7s
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.
|