Build dockerfiles

Added structural vs symbolic benchmarks #1552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cfa-cli-docker	2m 5s
sts-cli-docker	2m 10s
xsts-cli-docker	2m 1s
xta-cli-docker	1m 58s
	8m 14s