Repository navigation

CodeQL Security Analysis

feat(abi): Tier-2 Idris bindings + retire legacy Foreign + close L10 … #184

Sign in to view logs

Triggered via push June 5, 2026 14:13

main

Status Success

Total duration 50s

Artifacts –

codeql.yml

on: push

Matrix: analyze