Skip to content

Update Data.Text.Utf16.Rope to Data.Text.Utf16.Rope.Mixed #62

Update Data.Text.Utf16.Rope to Data.Text.Utf16.Rope.Mixed

Update Data.Text.Utf16.Rope to Data.Text.Utf16.Rope.Mixed #62

Triggered via pull request January 2, 2024 10:18
Status Success
Total duration 1m 39s
Artifacts

format.yaml

on: pull_request
check-formatting
1m 28s
check-formatting
Fit to window
Zoom out
Zoom in