Run Backend CI

Fix pretty printer for termination measures #760

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run_ci (silicon)	12m 47s
run_ci (silicon)	12m 47s
run_ci (carbon)	1s
run_ci (carbon)	20m 23s
	45m 58s