-
-
Notifications
You must be signed in to change notification settings - Fork 61
NamesList-17.0.0d2.html #1191
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
NamesList-17.0.0d2.html #1191
Conversation
eggrobin
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I see we ran out of full stops to put at the end of Reissued for Unicode n in the 16.0.0 cycle. We should buy some more full stops…
Ken-Whistler
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
As expected.
|
@josh-hadley @echeran @eggrobin is the build failure real? Is something grabbing the version number from NamesList.html and fails if something else is not yet on the same new version?? |
|
I certainly hope nothing looks at NamesList.html, and it is far too late for me to try to understand the build failure. But not too late for me to rerun the build and go to bed… |
I'm not exactly sure what is reading what but the failure is in a command that comes after this: unicodetools/UnicodeJsps/Dockerfile Line 7 in 560c290
Do we need to set that to 17.0.0? (probably) |
Probably not actually, because it is used to get something from https://www.unicode.org/Public/PROGRAMS/BidiReferenceC/, which has no 17 (it is updated after the release, BRS steps R80 sqq.). |
|
I reran the build, it worked. I noticed last night that various bits of the unicode.org website were extremely flaky (while looking at reports I got them without the CSS, the index of https://www.unicode.org/Public/ would sometimes fail to load and sometimes fail to show the icons for the parent directory etc.). |
|
Yeah, something was redlining the server, I suspect. I had a lot of trouble loading things, too. |
from Ken, just updating version 16 to 17