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

Triggered via push November 14, 2025 20:37
@andreasabelandreasabel
pushed c931d59
master
Status Success
Total duration 11s
Artifacts –

example.yml

on: push
example
8s
example
Fit to window
Zoom out
Zoom in