Index: .github/workflows/build.yml
===================================================================
diff -u -N -ra5f0ea7f6bfb721ce5e61deca530ca67a178301b -r271e4d8788bcbcb71455adccf3079483dc909b19
--- .github/workflows/build.yml	(.../build.yml)	(revision a5f0ea7f6bfb721ce5e61deca530ca67a178301b)
+++ .github/workflows/build.yml	(.../build.yml)	(revision 271e4d8788bcbcb71455adccf3079483dc909b19)
@@ -3,6 +3,7 @@
 jobs:
   nsf:
     runs-on: ${{ matrix.os }}
+    timeout-minutes: 10
     env:
       CC: ${{ matrix.compiler }}
     strategy:
@@ -131,4 +132,8 @@
       - name: Build + tests (production)
         if: ${{ !env.ACT }}
         run: |
+          if [ "$RUNNER_OS" == "macOS" ]; then
+            # Make "localhost" DNS entry available; see https://github.com/actions/runner-images/issues/6383
+            sudo networksetup -setdnsservers Ethernet 9.9.9.9
+          fi
           make test