Back to pull request #202

Constant variable substitution, loop unroll pass + dpor code cleanup #233

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy-docs	0s
test-docker (theta-cfa-cli)	4m 54s
test-docker (theta-sts-cli)	5m 5s
test-docker (theta-xsts-cli)	6m 38s
test-docker (theta-xta-cli)	4m 50s
build	6m 36s
test-linux (ubuntu-latest)	8m 23s
test-linux (ubuntu-22.04)	9m 9s
test-linux (ubuntu-20.04)	8m 35s
javadoc	5m 40s
deploy-maven	0s
deploy-release	0s
deploy-docker	0s
	59m 50s