Fix archive naming and simplify extraction logic

Co-authored-by: andreasabel <1155218+andreasabel@users.noreply.github.com>

Author: Copilot

.github/workflows/test.yml

@@ -0,0 +1,97 @@
+name: Test Action
+
+on:
+  push:
+    branches:
+      - main
+      - master
+      - 'copilot/**'
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  test-linux:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Agda
+        id: setup
+        uses: ./
+        with:
+          agda-version: '2.8.0'
+          agda-stdlib-version: '2.3'
+
+      - name: Verify Agda installation
+        run: |
+          echo "Agda path: ${{ steps.setup.outputs.agda-path }}"
+          echo "Agda dir: ${{ steps.setup.outputs.agda-dir }}"
+          agda --version
+          
+      - name: Create test file
+        run: |
+          cat > test.agda << 'EOF'
+          module test where
+          
+          data Bool : Set where
+            true false : Bool
+          EOF
+
+      - name: Test Agda
+        run: agda test.agda
+
+  test-windows:
+    runs-on: windows-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Agda
+        id: setup
+        uses: ./
+        with:
+          agda-version: '2.8.0'
+
+      - name: Verify Agda installation
+        run: |
+          echo "Agda path: ${{ steps.setup.outputs.agda-path }}"
+          echo "Agda dir: ${{ steps.setup.outputs.agda-dir }}"
+          agda --version
+
+  test-macos:
+    runs-on: macos-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Agda
+        id: setup
+        uses: ./
+        with:
+          agda-version: '2.8.0'
+          agda-stdlib-version: '2.3'
+
+      - name: Verify Agda installation
+        run: |
+          echo "Agda path: ${{ steps.setup.outputs.agda-path }}"
+          echo "Agda dir: ${{ steps.setup.outputs.agda-dir }}"
+          agda --version
+
+  test-macos-intel:
+    runs-on: macos-13  # Intel-based macOS
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Agda
+        id: setup
+        uses: ./
+        with:
+          agda-version: '2.8.0'
+
+      - name: Verify Agda installation
+        run: |
+          echo "Agda path: ${{ steps.setup.outputs.agda-path }}"
+          echo "Agda dir: ${{ steps.setup.outputs.agda-dir }}"
+          agda --version

action.yml

@@ -35,18 +35,18 @@ runs:
           Windows)
             echo "os=windows"
             echo "archive-ext=zip"
-            echo "archive-name=Agda-v${{ inputs.agda-version }}-windows.zip"
+            echo "archive-name=Agda-v${{ inputs.agda-version }}-win64.zip"
             ;;
           macOS)
             # Determine if we're on Intel or ARM
             if [[ "${{ runner.arch }}" == "X64" ]]; then
-              echo "os=macos-intel"
+              echo "os=macos-x64"
               echo "archive-ext=tar.xz"
-              echo "archive-name=Agda-v${{ inputs.agda-version }}-macos-intel.tar.xz"
+              echo "archive-name=Agda-v${{ inputs.agda-version }}-macOS-x64.tar.xz"
             else
-              echo "os=macos"
+              echo "os=macos-arm64"
               echo "archive-ext=tar.xz"
-              echo "archive-name=Agda-v${{ inputs.agda-version }}-macos.tar.xz"
+              echo "archive-name=Agda-v${{ inputs.agda-version }}-macOS-arm64.tar.xz"
             fi
             ;;
           *)
@@ -90,15 +90,7 @@ runs:
       shell: bash
       run: |
         mkdir -p "${HOME}/.local/bin/"
-        if [[ -f "agda" ]]; then
-          mv agda "${HOME}/.local/bin/"
-        elif [[ -f "bin/agda" ]]; then
-          mv bin/agda "${HOME}/.local/bin/"
-        else
-          echo "Could not find agda executable in archive"
-          ls -la
-          exit 1
-        fi
+        mv agda "${HOME}/.local/bin/"
         echo "${HOME}/.local/bin" >> "${GITHUB_PATH}"
 
     - name: Install Agda (Windows)
@@ -107,17 +99,7 @@ runs:
       run: |
         $installPath = Join-Path $env:USERPROFILE ".local\bin"
         New-Item -ItemType Directory -Force -Path $installPath | Out-Null
-        
-        if (Test-Path "agda.exe") {
-          Move-Item -Path "agda.exe" -Destination $installPath -Force
-        } elseif (Test-Path "bin\agda.exe") {
-          Move-Item -Path "bin\agda.exe" -Destination $installPath -Force
-        } else {
-          Write-Error "Could not find agda.exe in archive"
-          Get-ChildItem -Recurse
-          exit 1
-        }
-        
+        Move-Item -Path "agda.exe" -Destination $installPath -Force
         "$installPath" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
 
     - name: Setup Agda directories