Build

Fix build failure, hopefully for the last time #284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_resources	3m 28s
server_test	3m 46s
build (21-ubuntu)	4m 31s
client_test	3m 46s
	15m 31s