Skip to content
Pipeline

Remove the ancient and unused copy of UnicodeProperty #150

Sign in to view logs

Remove the ancient and unused copy of UnicodeProperty

Remove the ancient and unused copy of UnicodeProperty #150

Triggered via pull request January 15, 2024 13:21
@eggrobineggrobin
opened #649
eggrobin:bring-out-your-dead
Status Success
Total duration 27s
Artifacts –

pipeline.yml

on: pull_request
Labels for repertoire changes
12s
Labels for repertoire changes
Proposal document
0s
Proposal document
UTC decision
0s
UTC decision
Draft unless approved
0s
Draft unless approved
Fit to window
Zoom out
Zoom in