Skip to content
Semgrep SAST

feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) #1253

Sign in to view logs

feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648)

feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) #1253

Triggered via push June 21, 2026 19:10
@hyperpolymathhyperpolymath
pushed 19bb2e0
main
Status Cancelled
Total duration 30s
Artifacts –

semgrep.yml

on: push
semgrep
26s
semgrep
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Semgrep SAST
Canceling since a higher priority waiting request for Semgrep SAST-refs/heads/main exists
semgrep
Canceling since a higher priority waiting request for Semgrep SAST-refs/heads/main exists
semgrep
Path does not exist: semgrep.sarif
semgrep
The operation was canceled.