Skip to content
Test PR

Thread through option to add modules to prover context #10579

Sign in to view logs

Thread through option to add modules to prover context

Thread through option to add modules to prover context #10579

Run time

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