Repository navigation

CodeQL Security Analysis

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… #86

Sign in to view logs

Triggered via push May 24, 2026 19:50

main

Status Success

Total duration 1m 12s

Artifacts –

codeql.yml

on: push

Matrix: analyze