Skip to content
Aeneas extraction

Specify and verify : MessageType::try_from (TryFrom<u8> impl) in v1/chunked/states/serialize.rs #707

Sign in to view logs

Specify and verify : MessageType::try_from (TryFrom<u8> impl) in v1/chunked/states/serialize.rs

Specify and verify : MessageType::try_from (TryFrom<u8> impl) in v1/chunked/states/serialize.rs #707

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Aeneas Extraction
3m 28s
3m 28s