Repository navigation

Language Policy Enforcement

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

Sign in to view logs

Triggered via push May 24, 2026 19:42

claude/upbeat-mendel-lBO9G

Status Success

Total duration 9s

Artifacts –

language-policy.yml

on: push