Enrich unit tests with symbolic proofs #2
Triggered via pull request
September 29, 2023 17:53
tiferrei
Status
Failure
Total duration
3h 33m 48s
Artifacts
–
verify.yaml
on: pull_request
verify-wire
5m 31s
verify-socket
3h 33m
Annotations
2 errors
|
verify-wire
Process completed with exit code 1.
|
|
verify-socket
Process completed with exit code 1.
|