CI

Add effort properties for agenda elements #918

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (27.1)	1m 39s
build (27.2)	1m 31s
build (28.1)	1m 22s
build (28.2)	1m 23s
build (snapshot)	7m 59s
	13m 54s