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

andreasabel · andreasabel · commit c931d59d76a0 · 2025-11-14T21:36:36.000+01:00
diff --git a/action.yml b/action.yml
@@ -1,4 +1,4 @@
-name: 'Setup Agda'
+name: 'Agda Setup Action'
 description: 'Install Agda from official releases and optionally the standard library'
 author: 'Andreas Abel'
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: 'Setup Agda'`
	`1`	`+name: 'Agda Setup Action'`
`2`	`2`	`description: 'Install Agda from official releases and optionally the standard library'`
`3`	`3`	`author: 'Andreas Abel'`
`4`	`4`