Skip to content
Rust

Adapt the WHIR code to match traits required in Ceno. #74

Sign in to view logs

Adapt the WHIR code to match traits required in Ceno.

Adapt the WHIR code to match traits required in Ceno. #74

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 42s
2m 42s