Skip to content

split: remove Box<dyn Read> #4724

split: remove Box<dyn Read>

split: remove Box<dyn Read> #4724

Triggered via pull request July 15, 2026 08:41
Status Cancelled
Total duration 15s
Artifacts

wasi.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
WASI
Canceling since a higher priority waiting request for WASI-refs/pull/13095/merge exists
Tests
Canceling since a higher priority waiting request for WASI-refs/pull/13095/merge exists