Agda

PARK the ordinal-fidelity ladder — consumer removed (D-2026-06-20) #804

Sign in to view logs

Triggered via pull request June 20, 2026 01:23

opened #248

claude/eager-heisenberg-r3gz3c

Status Success

Total duration 11m 58s

Artifacts –

agda.yml

on: pull_request