Skip to content

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

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

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

Triggered via pull request January 1, 2024 12:38
Status Success
Total duration 1m 37s
Artifacts

format.yaml

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