Error feedback on compile-prover discrepancies #3103
build-action.yml
on: pull_request
Matrix: Build-And-Test-Server
Build-And-Test-Web
4m 32s
Annotations
1 error
Build-And-Test-Server (Unit tests)
Process completed with exit code 7.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
e2e-tests-report
Expired
|
421 KB |
|