CI

Add effort properties for agenda elements #924

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (27.1)	1m 33s
build (27.2)	1m 34s
build (28.1)	1m 25s
build (28.2)	1m 22s
build (snapshot)	8m 3s
	13m 57s