Pin CI to agda-stdlib v2.3 for import compatibility

Author: hyperpolymath

.github/workflows/agda.yml

@@ -16,36 +16,23 @@ jobs:
       - name: Install Agda and standard library
         run: |
           sudo apt-get update
-          sudo apt-get install -y agda agda-stdlib
+          sudo apt-get install -y agda git
 
-      - name: Locate Agda standard library
+      - name: Fetch Agda standard library (v2.3)
         id: stdlib
         run: |
-          STDLIB_DIR="$(
-            find /usr/share /usr/lib -type f -path '*/Data/Nat/Base.agda' 2>/dev/null \
-            | head -n 1 \
-            | sed 's#/Data/Nat/Base.agda##'
-          )"
-
-          if [ -z "$STDLIB_DIR" ]; then
-            echo "Could not locate Agda standard library directory"
-            exit 1
-          fi
-
+          STDLIB_DIR="$RUNNER_TEMP/agda-stdlib"
+          git clone --depth 1 --branch v2.3 https://github.com/agda/agda-stdlib.git "$STDLIB_DIR"
           echo "stdlib_dir=$STDLIB_DIR" >> "$GITHUB_OUTPUT"
 
       - name: Register standard library for Agda
         run: |
           mkdir -p "$HOME/.agda"
 
-          STDLIB_COPY="$RUNNER_TEMP/agda-stdlib-copy"
-          mkdir -p "$STDLIB_COPY"
-          cp -a "${{ steps.stdlib.outputs.stdlib_dir }}/." "$STDLIB_COPY/"
-
           STDLIB_LIB="$RUNNER_TEMP/standard-library.agda-lib"
           cat > "$STDLIB_LIB" <<EOF
           name: standard-library
-          include: $STDLIB_COPY
+          include: ${{ steps.stdlib.outputs.stdlib_dir }}
           EOF
 
           printf '%s\n' "$STDLIB_LIB" > "$HOME/.agda/libraries"