Skip to content
CodeQL Security Analysis

proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure) #60

Sign in to view logs

proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure)

proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure) #60

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (actions, none)
35s
analyze (javascript-typescript, none)
46s
1m 21s