Skip to content

Addressing comment on PR #450 #4

Sign in to view logs

Addressing comment on PR #450

Addressing comment on PR #450 #4

Triggered via dynamic November 28, 2025 20:51
@CopilotCopilot
⁠ 883e123
copilot/improve-agda2hs-test-infrastructure
Status Success
Total duration 5m 9s
Artifacts 1

copilot

on: dynamic
copilot
5m 4s
copilot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results
1.21 KB
sha256:2684675bf11231319f9946b21311ab20f4db02af77073d0fe93bbae9be5603c7