Skip to content

Running Copilot #1

Sign in to view logs

Running Copilot

Running Copilot #1

Triggered via dynamic November 28, 2025 13:49
@CopilotCopilot
⁠ 650442c
copilot/improve-agda2hs-test-infrastructure
Status Success
Total duration 54m 13s
Artifacts 1

copilot

on: dynamic
copilot
54m 8s
copilot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results
1.75 KB
sha256:ddc2f5d4c83b0ec3aa06d3cc4ae8c0b9ef3fe8573e3ef90716a4ff2eed00c5cd