[CI] Bump haskell-actions/setup from 2.12.0 to 2.12.1

.github/actions/setup-botan/action.yml

@@ -41,8 +41,8 @@ runs:
   # We only build the static and dynamic libraries and the executable, but not
   # the documentation or the tests.
 
-  - name: "🛠️ [Unix]: Build Botan"
-    if: ${{ runner.os == 'Linux' || runner.os == 'MacOS' }}
+  - name: "🛠️ [Linux]: Build Botan"
+    if: ${{ runner.os == 'Linux' }}
     shell: sh
     working-directory: ./tmp-botan
     run: |
@@ -52,6 +52,20 @@ runs:
         --without-documentation
       make
 
+  # Workaround for <https://github.com/randombit/botan/issues/5940>: use
+  # --without-os-feature=sandbox_proc on MacOS
+  - name: "🛠️ [MacOS]: Build Botan"
+    if: ${{ runner.os == 'macOS' }}
+    shell: sh
+    working-directory: ./tmp-botan
+    run: |
+      python3 ./configure.py \
+        --compiler-cache=ccache \
+        --build-targets=static,shared,cli \
+        --without-documentation \
+        --without-os-feature=sandbox_proc
+      make
+
   # Note: on Windows we assume the caller of the action is using MSYS2 with the
   # MINGW64 environment. We could make the action more general purpose, but then
   # we should make a few things configurable, like the shell and install

.github/workflows/ci.yml

@@ -182,9 +182,17 @@ jobs:
     - name: 📥 Checkout repository
       uses: actions/checkout@v7
 
+    # Workaround for regression <https://github.com/actions/runner-images/issues/14940>,
+    # copied from <https://github.com/actonlang/acton/pull/3283>.
+    #
+    # TODO: remove this workaround once the regression is fixed for the GH runner
+    - name: "Use the Command Line Tools toolchain"
+      if: ${{ runner.os ==  'macOS' }}
+      run: sudo xcode-select -s /Library/Developer/CommandLineTools
+
     - name: 🛠️ Setup Haskell
       id: setup-haskell
-      uses:  haskell-actions/setup@v2.12.0
+      uses:  haskell-actions/setup@v2.12.1
       with:
         ghc-version: ${{ matrix.ghc-version }}
         cabal-version: ${{ matrix.cabal-version }}
@@ -327,7 +335,7 @@ jobs:
 
     - name: 🛠️ Setup Haskell
       id: setup-haskell
-      uses:  haskell-actions/setup@v2.12.0
+      uses:  haskell-actions/setup@v2.12.1
       with:
         ghc-version: "9.6"
         cabal-version: "3.16"

.github/workflows/documentation.yml

@@ -36,7 +36,7 @@ jobs:
 
     - name: 🛠️ Setup Haskell
       id: setup-haskell
-      uses:  haskell-actions/setup@v2.12.0
+      uses:  haskell-actions/setup@v2.12.1
       with:
         ghc-version: ${{ env.ghc-version }}
         cabal-version: ${{ env.cabal-version }}