Skip to content
CodeQL Security Analysis

Replace fabricated ABI proofs with machine-checked Idris2 proofs #80

Sign in to view logs

Replace fabricated ABI proofs with machine-checked Idris2 proofs

Replace fabricated ABI proofs with machine-checked Idris2 proofs #80

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CodeQL Analysis (javascript-typescript)
1m 16s
1m 16s