developer-flag

Fix CaseMapping generation script to not depend on GHC's Unicode data #1034

Sign in to view logs

Triggered via pull request January 17, 2026 20:40

Lysxia

opened #687

script-fix

Status Success

Total duration 4m 31s

Artifacts –

developer-flag.yml

on: pull_request

Matrix: build