PR

fix: update unicode identifier tables to Unicode 17.0 #410

Sign in to view logs

Triggered via pull request April 22, 2026 18:09

MaxGraey

opened #3017

MaxGraey:upd-unicode-identifiers

Status Success

Total duration 7s

Artifacts –

pr.yml

on: pull_request