Skip to content

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obliga… #38

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obliga…

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obliga… #38

Triggered via push July 21, 2026 06:16
Status Cancelled
Total duration 1h 16m 38s
Artifacts
panic-attack assail
3m 14s
panic-attack assail
Hypatia neurosymbolic scan
3m 14s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
3m 14s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
6s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Hypatia neurosymbolic scan
Canceling since a higher priority waiting request for Static Analysis Gate-refs/heads/main exists
panic-attack assail
Canceling since a higher priority waiting request for Static Analysis Gate-refs/heads/main exists
Patch Bridge CVE triage
Canceling since a higher priority waiting request for Static Analysis Gate-refs/heads/main exists
Deposit findings for gitbot-fleet
Unable to download artifact(s): Artifact not found for name: panic-attack-findings Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact. For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
Static Analysis Gate
Canceling since a higher priority waiting request for Static Analysis Gate-refs/heads/main exists