Skip to content
CodeQL Security Analysis

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

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) #1251

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

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

3 errors
analyze (actions, none)
Canceling since a higher priority waiting request for CodeQL Security Analysis-refs/heads/main exists
analyze (actions, none)
The operation was canceled.
CodeQL Security Analysis
Canceling since a higher priority waiting request for CodeQL Security Analysis-refs/heads/main exists