Skip to content

Addressing comment on PR #450 #3

Sign in to view logs

Addressing comment on PR #450

Addressing comment on PR #450 #3

Triggered via dynamic November 28, 2025 17:11
@CopilotCopilot
⁠ 1bafe15
copilot/improve-agda2hs-test-infrastructure
Status Success
Total duration 25m 8s
Artifacts 1

copilot

on: dynamic
copilot
25m 1s
copilot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results
1.84 KB
sha256:1bcd5c8e6708c63af8e90f56abf6fc8205e1f53b541acb976c6ad56184fa20dd