Skip to content

Addressing comment on PR #450 #6

Sign in to view logs

Addressing comment on PR #450

Addressing comment on PR #450 #6

Triggered via dynamic November 29, 2025 10:01
@CopilotCopilot
⁠ 9df9f43
copilot/improve-agda2hs-test-infrastructure
Status Success
Total duration 27m 16s
Artifacts 1

copilot

on: dynamic
copilot
27m 12s
copilot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results
1.56 KB
sha256:d7d9f33accfa4ddff7e59a29b04c9049078a7434ee368e4f36effa0dcdd14434