Skip to content

Make Identifier paste work with Unicode REPLACEMENT CHARACTER #1131

Make Identifier paste work with Unicode REPLACEMENT CHARACTER

Make Identifier paste work with Unicode REPLACEMENT CHARACTER #1131

Triggered via pull request October 27, 2024 00:34
Status Failure
Total duration 16s
Artifacts

cleanup-pr.yml

on: pull_request
cleanup
6s
cleanup
Fit to window
Zoom out
Zoom in

Annotations

1 error
cleanup
Process completed with exit code 1.