Use writable copied stdlib in CI to avoid /usr/share interface writes

Author: hyperpolymath

.github/workflows/agda.yml

@@ -38,14 +38,18 @@ jobs:
         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: ${{ steps.stdlib.outputs.stdlib_dir }}
+          include: $STDLIB_COPY
           EOF
 
           printf '%s\n' "$STDLIB_LIB" > "$HOME/.agda/libraries"
           printf '%s\n' "standard-library" > "$HOME/.agda/defaults"
 
       - name: Typecheck full suite
-        run: agda --local-interfaces -i proofs/agda proofs/agda/All.agda
+        run: agda -i proofs/agda proofs/agda/All.agda