CI

Add effort properties for agenda elements #923

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (27.1)	1m 30s
build (27.2)	1m 39s
build (28.1)	1m 19s
build (28.2)	1m 21s
build (snapshot)	7m 58s
	13m 47s