Update Zynq Ultrascale port for V4.x and Clean up #6634

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	15s
doxygen	15s
complexity	11s
complexity	11s
formatting	16s
formatting	16s
link-verifier	1m 20s
link-verifier	59s
build-checks	1m 55s
build-checks	1m 55s
spell-check	1m 14s
spell-check	1m 14s
unittest	5m 13s
unittest	5m 13s
verify-manifest	22s
verify-manifest	22s
git-secrets	4s
git-secrets	4s
proof_ci	8m 7s
proof_ci	8m 7s
	37m 33s