Example Usage

Address review comments from PR #1 #7

Sign in to view logs

Summary
Jobs
- example
Run details
- Usage
- Workflow file

Re-run triggered November 14, 2025 18:35

andreasabel

copilot/fix-review-comments-in-pr-1

Status Failure

Total duration 6s

Artifacts –

example.yml

on: push

Annotations

1 error

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