Skip to content
Test Action

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

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 #20

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

test.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in