Do not eat ErrorReport messages related to repairs #2170

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test	16m 49s
build-and-test	20m 15s
clippy	5m 24s
clippy	5m 47s
check-style	19s
check-style	25s
build-docs	5m 51s
build-docs	7m 3s
	1h 1m 53s