Skip to content
Static Analysis Gate

proofs(lean4): promote ET-2 to main — L1 conversion is decidable #58

Sign in to view logs

proofs(lean4): promote ET-2 to main — L1 conversion is decidable

proofs(lean4): promote ET-2 to main — L1 conversion is decidable #58

Triggered via pull request July 27, 2026 12:30
@hyperpolymathhyperpolymath
synchronize #27
proofs/lean4-l1-l2
Status Success
Total duration 54s
Artifacts 4

static-analysis-gate.yml

on: pull_request
panic-attack assail
5s
panic-attack assail
Hypatia neurosymbolic scan
35s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
4s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
10s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Patch Bridge CVE triage
panic-attack binary not available — skipping Patch Bridge
panic-attack assail
panic-attack binary not available — skipping assail

Artifacts

Produced during runtime
Name Size Digest
bridge-report
218 Bytes
sha256:a27ab5fd87ce9d35c425be6f5adcace7d30355733518bb076473b34251877fcb
hypatia-findings
161 Bytes
sha256:9d1ad0673cc848848ef367efe0f4908a93bc5a0ec2bc26c7ade891189e519551
panic-attack-findings
171 Bytes
sha256:3285414ff13894235335a3565e969dde0497038eb5dbf68c3a3d7dac2d897eb3
unified-findings
401 Bytes
sha256:9396894823459e2679d0dfb8d719278ef7236fcaab3c8380f0cad843673976c1