Support special characters in job names - #658

Merged

hanna-paasivirta merged 3 commits into

446-leak-hardeningfrom

446-allow-diacritics

Sep 1, 2026

Commits on Aug 31, 2026

Let step names keep their diacritics and their script
elias-ba
committed
ff7a1cd

Commits on Sep 1, 2026

Use the standard library to normalise, not our own copy of a bug
elias-ba
committed
5966b5b
Correct the parity harness list in the readme
hanna-paasivirta
committed
b3f01ff