Skip to content
Hypatia Security Scan

error-lang: replace fabricated ABI "proofs" with machine-checked ones… #84

Sign in to view logs

error-lang: replace fabricated ABI "proofs" with machine-checked ones…

error-lang: replace fabricated ABI "proofs" with machine-checked ones… #84

Triggered via push June 23, 2026 16:48
@hyperpolymathhyperpolymath
pushed ac3340f
main
Status Failure
Total duration 54s
Artifacts 1

hypatia-scan.yml

on: push
Hypatia Neurosymbolic Analysis
50s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Hypatia Neurosymbolic Analysis
Resource not accessible by integration - https://docs.github.com/rest
Hypatia Neurosymbolic Analysis
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Hypatia Neurosymbolic Analysis
Resource not accessible by integration - https://docs.github.com/rest

Artifacts

Produced during runtime
Name Size Digest
hypatia-findings
1.94 KB
sha256:c906f8efe29dcceb8181fb852d53989ae424049c05297d4541f27b580fa78c5a