Skip to content
Example Usage

Change name to "Agda Setup Action" to avoid Marketplace clash #17

Sign in to view logs

Change name to "Agda Setup Action" to avoid Marketplace clash

Change name to "Agda Setup Action" to avoid Marketplace clash #17

example

example
succeeded Nov 14, 2025 in 8s