Address review comments from PR #1

Co-authored-by: andreasabel <[email protected]>

Author: Copilot

.github/workflows/example.yml

@@ -11,7 +11,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Setup Agda
         id: setup-agda
@@ -31,8 +31,8 @@ jobs:
           cat > Example.agda << 'EOF'
           module Example where
           
-          open import Data.Bool
-          open import Data.Nat
+          open import Data.Bool.Base
+          open import Data.Nat.Base
           
           example : Bool
           example = true

.github/workflows/test.yml

@@ -13,18 +13,30 @@ permissions:
   contents: read
 
 jobs:
-  test-linux:
-    runs-on: ubuntu-latest
+  test:
+    strategy:
+      matrix:
+        os: [ubuntu-latest, windows-latest, macos-latest, macos-13]
+        include:
+          - os: ubuntu-latest
+            agda-stdlib-version: '2.3'
+          - os: windows-latest
+            agda-stdlib-version: ''
+          - os: macos-latest
+            agda-stdlib-version: '2.3'
+          - os: macos-13
+            agda-stdlib-version: ''
+    runs-on: ${{ matrix.os }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Setup Agda
         id: setup
         uses: ./
         with:
           agda-version: '2.8.0'
-          agda-stdlib-version: '2.3'
+          agda-stdlib-version: ${{ matrix.agda-stdlib-version }}
 
       - name: Verify Agda installation
         run: |
@@ -33,6 +45,7 @@ jobs:
           agda --version
           
       - name: Create test file
+        if: matrix.os == 'ubuntu-latest'
         run: |
           cat > test.agda << 'EOF'
           module test where
@@ -42,59 +55,5 @@ jobs:
           EOF
 
       - name: Test Agda
+        if: matrix.os == 'ubuntu-latest'
         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

README.md

@@ -4,13 +4,13 @@ GitHub composite action to install Agda from the official deployed binaries and
 
 ## Features
 
-- Installs Agda from official GitHub releases
-- Optional installation of the Agda standard library
+- Installs Agda from official GitHub releases.
+- Optional installation of the Agda standard library.
 - Cross-platform support:
   - Ubuntu (latest)
   - Windows (latest)
   - macOS (latest, including macOS-15-intel)
-- Outputs the path to the Agda executable and Agda application directory
+- Outputs the path to the Agda executable and Agda application directory.
 
 ## Usage
 
@@ -76,7 +76,7 @@ jobs:
     runs-on: ubuntu-latest
     
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       
       - name: Setup Agda
         uses: agda/agda-setup-action@v1