Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via push May 1, 2026 06:02
@hyperpolymathhyperpolymath
pushed 35bfaa8
docs/claude-md-stdlib-2-3
Status Success
Total duration 3m 3s
Artifacts –

agda.yml

on: push
check
2m 58s
check
Fit to window
Zoom out
Zoom in