Agda

Claude/add ordinal notation layer 9qh sf (#2) #30

Sign in to view logs

Triggered via push April 22, 2026 11:53

main

Status Success

Total duration 5m 48s

Artifacts –

agda.yml

on: push