Skip to content

Running Copilot #1

Sign in to view logs

Running Copilot

Running Copilot #1

Triggered via dynamic November 14, 2025 17:51
@CopilotCopilot
⁠ efe541c
copilot/add-agda-installation-action
Status Success
Total duration 11m 45s
Artifacts 1

copilot

on: dynamic
copilot
11m 37s
copilot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results
2.04 KB
sha256:94daa9da316a7a7cdc20ae65e9096f4132fd4cbd59fd4cdcc1a1480d63e574a4