test

Add option to disable set axiomatization (#708) #4323

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-test-deploy-container	41m 40s
build-test-deploy-container	17m 20s
build-test-deploy-container	6h 1m 44s
	7h 0m 44s