.github/workflows/ci.yml

Implement loop invariant annotation #647

Sign in to view logs

Triggered via pull request May 30, 2026 05:13

coord-e

synchronize #95

claude/reduce-pvar-allocation-XFxwT

Status Success

Total duration 1m 14s

Artifacts –

ci.yml

on: pull_request