CI

don't return dev messages in `getUserMessage()` #4701

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	54s
compat	4m 9s
Test (1.8)	2m 46s
Test (11)	2m 44s
Test (17)	2m 34s
Test (18)	2m 51s
Test (19)	2m 57s
Test (20)	2m 50s
publish	0s
publish-docs	0s
	21m 45s