Skip to content
CodeQL Security Analysis

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #4

Sign in to view logs

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b…

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #4

Run time

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