Skip to content

Java 25: Migrate new StringReader(String) to Reader.of(CharSequence) #1632

Java 25: Migrate new StringReader(String) to Reader.of(CharSequence)

Java 25: Migrate new StringReader(String) to Reader.of(CharSequence) #1632

Triggered via pull request September 10, 2025 12:32
Status Cancelled
Total duration 19s
Artifacts 1

receive-pr.yml

on: pull_request
upload-patch  /  upload-patch
15s
upload-patch / upload-patch
Fit to window
Zoom out
Zoom in

Annotations

4 errors
upload-patch / upload-patch
The operation was canceled.
upload-patch / upload-patch
Canceling since a higher priority waiting request for receive-pr @ refs/pull/845/merge exists
receive-pr
Canceling since a higher priority waiting request for receive-pr @ refs/pull/845/merge exists
receive-pr
Canceling since a higher priority waiting request for receive-pr @ refs/pull/845/merge exists

Artifacts

Produced during runtime
Name Size Digest
pr_number Expired
146 Bytes
sha256:a1809b20434e2af196cdc129e2f2db48f8832a5bb7fc13ee51523cc297ecdc71