Agda

Claude/fix dirty orphans #72

Sign in to view logs

Triggered via pull request April 22, 2026 20:36

opened #14

claude/fix-dirty-orphans

Status Success

Total duration 6m 48s

Artifacts –

agda.yml

on: pull_request