Skip to content

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

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 #1623

Triggered via pull request August 7, 2024 00:20
Status Failure
Total duration 1m 27s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check-doc
Process completed with exit code 101.
check-lints
Process completed with exit code 101.
check-tests
Process completed with exit code 101.