Fix soundness script #930

Job	Run time
License Header and Formatting Checks	9m 3s
Build and Test on swiftlang/swift:nightly-jammy	6m 19s
Integration Tests on swiftlang/swift:nightly-jammy	4m 12s
Build and Test on swift:5.9-jammy	4m 27s
Performance Tests on swiftlang/swift:nightly-jammy	11m 10s
Integration Tests on swift:5.9-jammy	3m 24s
Build and Test on swift:5.8-focal	3m 59s
Performance Tests on swift:5.9-jammy	9m 58s
Integration Tests on swift:5.8-focal	2m 51s
Build and Test on swift:5.7-focal	3m 53s
Performance Tests on swift:5.8-focal	11m 23s
Integration Tests on swift:5.7-focal	2m 51s
Performance Tests on swift:5.7-focal	9m 22s
	1h 22m 52s

Provide feedback