Skip to content
Static Analysis Gate

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Sign in to view logs

fix: correct 'formal soundness' claim — proofs are pending, not done

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Triggered via push March 30, 2026 08:59
@hyperpolymathhyperpolymath
pushed 3cad52b
main
Status Failure
Total duration 12s
Artifacts –

static-analysis-gate.yml

on: push
panic-attack assail
3s
panic-attack assail
Hypatia neurosymbolic scan
2s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
2s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
2s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Hypatia neurosymbolic scan
Unable to resolve action `actions/upload-artifact@65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`, unable to find version `65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`
panic-attack assail
Unable to resolve action `actions/upload-artifact@65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`, unable to find version `65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`
Patch Bridge CVE triage
Unable to resolve action `actions/upload-artifact@65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`, unable to find version `65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`
Deposit findings for gitbot-fleet
Unable to resolve action `actions/upload-artifact@65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`, unable to find version `65c79d7f54e76e4e3c7a8f34db0f4ac8b515c478`