Example Usage

Address PR #1 review comments #9

Sign in to view logs

Summary
Jobs
- example
Run details
- Usage
- Workflow file

Re-run triggered November 14, 2025 18:35

andreasabel

#2

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

Status Failure

Total duration 8s

Artifacts –

example.yml

on: pull_request

Annotations

1 error

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