Rust

Align the reg3 instruction serialization with the GP (#138) #215

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test-linux	20m 59s
build-and-test-windows	22m 20s
build-and-test-macos	12m 38s
clippy	1m 55s
kani	1m 9s
rustfmt	28s
	59m 29s