Skip to content

[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups #51

[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups

[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups #51

Annotations

2 warnings

test

succeeded Mar 1, 2024 in 58s
Set up job
3s
Run actions/checkout@v3
6s
Run dtolnay/rust-toolchain@nightly
9s
Run actions/cache@v2
3s
Run cargo test
35s
Post Run actions/cache@v2
0s
Post Run actions/checkout@v3
0s
Complete job
0s