Skip to content
Example Usage

Add GitHub composite action for installing Agda and standard library #6

Sign in to view logs

Add GitHub composite action for installing Agda and standard library

Add GitHub composite action for installing Agda and standard library #6

Re-run triggered November 14, 2025 18:16
@andreasabelandreasabel
#1
copilot/add-agda-installation-action
Status Failure
Total duration 6s
Artifacts –

example.yml

on: pull_request
example
3s
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`