Skip to content
Test PR

Thread through option to add modules to prover context #10578

Sign in to view logs

Thread through option to add modules to prover context

Thread through option to add modules to prover context #10578

Triggered via pull request November 26, 2024 00:56
@ehildenbehildenb
synchronize #2654
extra-module-prove
Status Failure
Total duration 36s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
25s
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.