Skip to content
ECHIDNA Validation

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3) #70

Sign in to view logs

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3)

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3) #70

Triggered via pull request June 18, 2026 02:15
@hyperpolymathhyperpolymath
opened #52
claude/dazzling-noether-hkgAV
Status Success
Total duration 13s
Artifacts –

echidna-validation.yml

on: pull_request
ECHIDNA Totality & Safety Audit
7s
ECHIDNA Totality & Safety Audit
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ECHIDNA Totality & Safety Audit
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/