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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-lints	52s
check-tests	1m 9s
check-doc	56s
check-compiles	1m 3s
	4m 0s