docker

Merge pull request #253 from metanorma/252-support-for-adding-new-ite… #380

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	20m 24s
build-collection	35m 51s
	56m 15s