Support for agda-stdlib v2.2

[wenkokke]

No description provided.

[andreasabel]

https://github.com/wenkokke/setup-agda/actions/runs/16552120720/job/46808493439?pr=227

Error: Create Artifact Container failed: The artifact name agda-2.7.0.1-arm64-macos-14-ghc9.8.2-icu77.1 is not valid.

This looks like

• [bug] intermittent "Create Artifact Container failed" artifact name is not valid actions/upload-artifact#490

The recommendation there is to upgrade to actions/upload-artifact@v4, which is actions/artifact@v2.
Looks like setup-agda is using outdated dependencies:

setup-agda/package.json

Line 13 in 74e6cd1

"@actions/artifact": "^1.1.0",

[wenkokke]

https://github.com/wenkokke/setup-agda/actions/runs/16552120720/job/46808493439?pr=227

Error: Create Artifact Container failed: The artifact name agda-2.7.0.1-arm64-macos-14-ghc9.8.2-icu77.1 is not valid.

This looks like

• [bug] intermittent "Create Artifact Container failed" artifact name is not valid actions/upload-artifact#490

The recommendation there is to upgrade to actions/upload-artifact@v4, which is actions/artifact@v2. Looks like setup-agda is using outdated dependencies:

setup-agda/package.json

Line 13 in 74e6cd1

"@actions/artifact": "^1.1.0",

I checked, and this is actually already fixed on #229.