Agda

docs(CLAUDE.md): bump stdlib reference 2.0 -> 2.3 to match CI #239

Sign in to view logs

Triggered via pull request May 1, 2026 06:10

synchronize #33

docs/claude-md-stdlib-2-3

Status Success

Total duration 3m 6s

Artifacts –

agda.yml

on: pull_request