Adds a warning if the stream-buffer or windows properties are changed… #6617

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-checks	1m 2s
formatting	17s
complexity	25s
git-secrets	7s
link-verifier	1m 13s
doxygen	18s
proof_ci	0s
spell-check	55s
unittest	5m 36s
verify-manifest	22s
	10m 15s