build

Merge remote-tracking branch 'origin/develop' into improvement/upgrad… #1202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run diagnostics	52s
lint	3m 58s
test	1m 6s
build (x86_64)	36m 51s
	42m 47s