Skip to content

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds #1619

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds #1619

Triggered via pull request August 6, 2024 21:34
Status Failure
Total duration 8m 16s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-doc
Process completed with exit code 101.