Fix markup and grammar in Understanding Proof Sets/Chains section. #127

Sign in to view logs

Triggered via push February 19, 2024 22:26

msporny

main

Status Failure

Total duration 42s

Artifacts 1

echidna.yml

on: push

Build, Validate, and Deploy

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, pnpm/action-setup@v2, actions/setup-node@v3, actions/upload-artifact@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	928 KB