Repository navigation

CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request May 24, 2026 19:50

opened #40

claude/upbeat-mendel-lBO9G

Status Success

Total duration 1m 18s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze

Annotations

1 warning

analyze (javascript-typescript, none)

Error retrieving diff main...hyperpolymath:claude/upbeat-mendel-lBO9G: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits