Skip to content
Publish to W3C

Clarify that proof purpose and VM relationship should match. #162

Sign in to view logs

Clarify that proof purpose and VM relationship should match.

Clarify that proof purpose and VM relationship should match. #162

Triggered via push June 29, 2024 12:29
@mspornymsporny
pushed 98c750f
main
Status Failure
Total duration 1m 14s
Artifacts 1

echidna.yml

on: push
Build, Validate, and Deploy
1m 6s
Build, Validate, and Deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
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.
Build, Validate, and Deploy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
168 KB