Added publish workflow for GitHub

This commit is contained in:
Erik C. Thauvin 2023-03-17 00:23:31 -07:00
parent dd61c799f3
commit 14080895c7
3 changed files with 117 additions and 3 deletions

View file

@ -174,9 +174,10 @@ public final class RenderUtils {
return src;
}
// https://stackoverflow.com/a/6766497/8356718
var len = src.length();
var sb = new StringBuilder(len * 6);
// https://stackoverflow.com/a/6766497/8356718
for (var i = 0; i < len; i++) {
var codePoint = src.codePointAt(i);
// Skip over the second char in a surrogate pair