Repository navigation

Check LLVM ABI annotations

verify: Reject valid(p, n) outside a precondition #34

Sign in to view logs

Triggered via pull request October 20, 2026 17:38

opened #40

fix/valid-outside-precondition

Status Skipped

Total duration 1s

Artifacts –

ids-check.yml

on: pull_request

Check LLVM_ABI annotations with ids