Agda

docs(proof-debt): refresh stale variance bullet — resolved by wired EchoVariance (#243) #824

Sign in to view logs

Triggered via pull request June 21, 2026 06:37

opened #258

claude/proof-debt-variance-refresh

Status Success

Total duration 9m 40s

Artifacts –

agda.yml

on: pull_request