CI

Update credit to Microsoft Research for Nova implementation #1111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect-unused-crate	47s
check-build	3m 33s
cargo-clippy	2m 4s
check-fmt	21s
test-sdk	9m 11s
test-smoke	7m 35s
test	7m 58s
	31m 29s