Skip to content
Test PR

Thread through option to add modules to prover context #10567

Sign in to view logs

Thread through option to add modules to prover context

Thread through option to add modules to prover context #10567

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code Quality Checks
20s
Conformance Tests
0s
Profiling
0s
Unit Tests
0s
Proofs: ${{ matrix.name }}
0s
Nix
0s
20s