Skip to content

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

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

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

Triggered via pull request January 1, 2024 12:17
Status Failure
Total duration 1m 42s
Artifacts

format.yaml

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

Annotations

1 error
check-formatting
Process completed with exit code 100.