Define proof properties no longer defined in VCDM #119
echidna.yml
on: push
Build, Validate, and Deploy
33s
Annotations
3 errors
Build, Validate, and Deploy
Process completed with exit code 1.
|
Build, Validate, and Deploy
Failed. See details above.
|
Build, Validate, and Deploy
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
spec-prod-result
Expired
|
863 KB |
|