Skip to content
Example Usage

Merge pull request #2 from agda/copilot/fix-review-comments-in-pr-1 #10

Sign in to view logs

Merge pull request #2 from agda/copilot/fix-review-comments-in-pr-1

Merge pull request #2 from agda/copilot/fix-review-comments-in-pr-1 #10

Triggered via push November 14, 2025 18:37
@andreasabelandreasabel
pushed 1451597
master
Status Failure
Total duration 7s
Artifacts –

example.yml

on: push
example
4s
example
Fit to window
Zoom out
Zoom in

Annotations

1 error
example
Unable to resolve action `agda/agda-setup-action@v1`, unable to find version `v1`