CI Checks

Fix inconsistent use of ipconfigCOMPATIBLE_WITH_SINGLE & ipconfigIPv4… #609

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-checks	52s
formatting	41s
doxygen	34s
complexity	23s
git-secrets	4s
link-verifier	1m 44s
proof_ci	0s
spell-check	1m 16s
unittest	2m 5s
verify-manifest	20s
	7m 59s