Addressing comment on PR #450 · agda/agda2hs@14b7595

Triggered via dynamic November 28, 2025 21:10

Copilot

Status Success

Total duration 3m 53s

Artifacts 1

copilot

on: dynamic

Produced during runtime

Name	Size	Digest
results	298 Bytes	`sha256:2f2a068c2cba8fca249abd8214a3887cbd1f5480a4464b4f9c9bc46db6df80ea`