Agda

agda(EchoChoreo): per-decoration composition rung — role/choreo case #186

Sign in to view logs

Triggered via push April 28, 2026 01:11

agda/echochoreo-decoration-composition-rung

Status Success

Total duration 2m 42s

Artifacts –

agda.yml

on: push