Build

Merge pull request #600 from gastaldi/extension_config #745

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_java17	19m 56s
docs (all)	26m 14s
docs (linux)	24m 16s
docs (mac)	25m 11s
docs (windows)	24m 18s
publication	51s
	2h 0m 46s