Skip to content

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

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

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

Triggered via pull request January 1, 2024 15:02
Status Success
Total duration 1m 39s
Artifacts

format.yaml

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