CI

Add effort properties for agenda elements #922

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (27.1)	1m 32s
build (27.2)	1m 26s
build (28.1)	1m 23s
build (28.2)	1m 24s
build (snapshot)	8m 4s
	13m 49s