Repository navigation

CodeQL Security Analysis

fix(lol/abi): make the lol-abi Idris package typecheck #840

Sign in to view logs

Triggered via pull request June 18, 2026 10:59

synchronize #389

claude/hopeful-babbage-pn0l4o

Status Success

Total duration 55s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze