Agda

docs(6a2): refresh STATE.a2ml currency to 2026-06-21 (ordinal RETIRED) #838

Sign in to view logs

Triggered via pull request June 21, 2026 19:15

opened #267

claude/gallant-faraday-LSAGJ

Status Success

Total duration 12m 27s

Artifacts –

agda.yml

on: pull_request