Skip to content
CodeQL Security Analysis

proof(L1): choreographic experiment 2 — non-collapsed trace model clo… #812

Sign in to view logs

proof(L1): choreographic experiment 2 — non-collapsed trace model clo…

proof(L1): choreographic experiment 2 — non-collapsed trace model clo… #812

Triggered via push June 27, 2026 19:48
@hyperpolymathhyperpolymath
pushed 8018240
main
Status Success
Total duration 1m 24s
Artifacts –

codeql.yml

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