CI

Add effort properties for agenda elements #925

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 24s
build (28.1)	1m 16s
build (28.2)	1m 19s
build (snapshot)	7m 55s
	13m 24s