Back to pull request #4796

Support Unicode identifiers #1470

Sign in to view logs

Triggered via pull request October 16, 2023 18:59

mattnibs

closed #4796

unicode-id

Status Success

Total duration 20s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

notify-downstream-merge.yml

on: pull_request

Matrix: build