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

Triggered via pull request November 12, 2024 06:03
@ehildenbehildenb
opened #2654
extra-module-prove
Status Failure
Total duration 30s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
20s
Code Quality Checks
Unit Tests
0s
Unit Tests
Profiling
0s
Profiling
Conformance Tests
0s
Conformance Tests
Matrix: Nix
Matrix: test-prove
Fit to window
Zoom out
Zoom in

Annotations

1 error
Code Quality Checks
Process completed with exit code 2.