Skip to content
CodeQL Security Analysis

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #35

Sign in to view logs

proof(ordinal): general head-Ω monotonicity (Gate 1 building block)

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #35

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (actions, none)
32s
analyze (javascript-typescript, none)
54s
1m 26s