Repository navigation

CodeQL Security Analysis

proofs: eliminate believe_me in src/abi/Layout.idr (6 → 0) #1

Sign in to view logs

Triggered via push April 17, 2026 18:13

main

Status Success

Total duration 1m 20s

Artifacts –

codeql.yml

on: push

Matrix: analyze