Example Usage

Add explicit permissions to workflows for security #4

Sign in to view logs

Re-run triggered November 14, 2025 18:16

andreasabel

copilot/add-agda-installation-action

Status Failure

Total duration 16s

Artifacts –

example.yml

on: push

Annotations

1 error

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