Skip to content
Build and test Karamel based on a FStar image

Rust extraction: Generate Box of slices instead of Vec when allocating on the heap #1676

Sign in to view logs

Rust extraction: Generate Box of slices instead of Vec when allocating on the heap

Rust extraction: Generate Box of slices instead of Vec when allocating on the heap #1676

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
18m 6s
18m 6s