CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compat	4m 5s
Build	3m 16s
Test (1.8)	2m 47s
Test (11)	2m 48s
Test (17)	2m 25s
Test (18)	2m 45s
Test (19)	2m 44s
Test (20)	2m 45s
publish	0s
publish-docs	0s
	23m 35s