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

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

test-pr.yml

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