CI

Update SOUNDNESS.adoc #1199

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode-smoke	34s
build	3m 32s
bench-visibility	3m 12s
coverage-visibility	3m 22s
lint	3m 19s
migration-assistant	18s
	14m 17s