ci

TDG: repository development, including subtree #5173

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format-files	26s
unit-tests	9m 46s
analysis-tests	42m 14s
integration-tests	1h 7m 48s
compare-results	3m 23s
update-results	5m 7s
compare-tools	58s
	2h 9m 42s