Merge remote-tracking branch 'sexp/release-2.6.3-sexp'

.github/workflows/deploy.yml

@@ -29,6 +29,25 @@ jobs:
       sha: ${{ steps.vars.outputs.sha }}
     runs-on: ${{ matrix.os }}
     steps:
+    - if: ${{ runner.os == 'macOS' }}
+      name: Set up for the ICU library (macOS)
+      run: |
+        ICU4C="$(brew --prefix)/opt/icu4c"
+        echo "${ICU4C}/bin" >> "${GITHUB_PATH}"
+        ICU_DIR="${ICU4C}/lib"
+        echo "ICU_DIR=${ICU_DIR}"
+        echo "ICU_DIR=${ICU_DIR}" >> "${GITHUB_ENV}"
+        echo "PKG_CONFIG_PATH=${ICU_DIR}/pkgconfig" >> "${GITHUB_ENV}"
+    - if: ${{ runner.os != 'Windows' }}
+      name: Determine the ICU version (Linux, macOS)
+      run: |
+        uconv --version
+        ICU_VER="$(uconv --version | sed -ne 's/uconv v.* ICU \([0-9][0-9.]*\)/\1/p')"
+        echo "ICU_VER=${ICU_VER}"
+        echo "ICU_VER=${ICU_VER}" >> "${GITHUB_ENV}"
+        ICU_MAJOR_VER="$(cut -d '.' -f 1 <<< ${ICU_VER})"
+        echo "ICU_MAJOR_VER=${ICU_MAJOR_VER}"
+        echo "ICU_MAJOR_VER=${ICU_MAJOR_VER}" >> "${GITHUB_ENV}"
     - name: Check out the master branch
       uses: actions/checkout@v4
     - id: vars

.gitmodules

@@ -1,7 +0,0 @@
-[submodule "std-lib"]
-	path = std-lib
-	url = https://github.com/agda/agda-stdlib
-	branch = master
-[submodule "cubical"]
-	path = cubical
-	url = https://github.com/agda/cubical