.github/workflows/ci.yml

Add loop invariant annotations (minimal) #642

Sign in to view logs

Triggered via push May 30, 2026 05:07

coord-e

claude/reduce-pvar-allocation-XFxwT

Status Success

Total duration 1m 16s

Artifacts –

ci.yml

on: push