Fix mouse input events being read multiple times #1086

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-doc	6m 7s
check-compiles	1m 44s
check-lints	1m 39s
check-tests	5m 35s
	15m 5s