CodeQL Security Analysis

feat(overlay-protocol): add Idris2 ABI formalising all five core inva… #98

Sign in to view logs

Triggered via push March 7, 2026 23:16

main

Status Success

Total duration 1m 27s

Artifacts –

codeql.yml

on: push

Matrix: analyze